North-Holland
Journal of Logic and Algebraic Programming
Computer Security

Jaghoori, M. M., de Boer, F., Chothia, T., & Sirjani, M. (2009). Schedulability of Asynchronous Real-Time Concurrent Objects. Journal of Logic and Algebraic Programming, 78, 402–416.