A Q-model approach to decomposition and aggregation of specifications of real-time systems.

Rein Paluoja

Browse the full ECRTS paper archive.