Compositionality in Real-Time Shared Variable Concurrency. - Frank S. de Boer; H. Tej; Willem P. de Roever; M. van Hulst (FTRTFT, 1996)