North-Holland
Journal of Logic and Algebraic Programming
Computer Security

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