A Q-model approach to decomposition and aggregation of specifications of real-time systems | IEEE Conference Publication | IEEE Xplore