Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties - Hill, James H.; Gokhale, Aniruddha (2008 IEEE International Symposium on Parallel and Distributed Processing, Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on, 2008)