1. Tavares E, Maciel P, Silva B, Oliveira M (2008) Hard realtime tasks scheduling considering voltage scaling, precedence and exclusion relations. Inf Process Lett 108:50–59
2. Wuyts R, Ducasse S (2001) Non-functional requirements in a component model for embedded systems. In: International workshop on specification and verification of component-based systems, OOPSLA
3. OMG UML (2005) 2.0 superstructure specification. http://www.uml.org/
4. OMG MARTE (2007) Profile for modeling and analysis of real-time and embedded systems (MARTE), Beta1
5. OMG SPT (2003) Profile for schedulability, performance, and time specification. Object Management Group