A Q-model approach to decomposition and aggregation of specifications of real-time systems
Paluoja, Rein
Proceedings of the 7th EUROMICRO Workshop on Real-Time Systems : Odense, Denmark, June 14-16, 1995
1995
/
p. 213-221