Composing Synchronization and Real-Time Constraints, University of Twente, Memoranda Informatica 95-41, (to be published (1996)

by L Bergmans, M Aksit
Venue:in Journal of Parallel and Distributed Computing