1. Bergmans L. and Aksit M. Composing synchronization and real-time constraints. Journal of Parallel and Distributed Programming (Sept. 1996). 10.1006/jpdc.1996.0088 Bergmans L. and Aksit M. Composing synchronization and real-time constraints. Journal of Parallel and Distributed Programming (Sept. 1996). 10.1006/jpdc.1996.0088