Design and analysis of distributed real-time systems - Fortier, Paul J. (Intertext publications, 1985)