1. Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling with UML/MARTE to support Black-Box system testing for real-time embedded systems: methodology and industrial case studies. In: Model Driven Engineering Languages and Systems, pp. 286–300. Springer, Berlin (2010)
2. Artemis: (2011) Artemis Joint Undertaking—The public private partnership for R & D Embedded Systems (June 13, 2011). http://artemis-ju.eu/embedded_systems
3. Broekman, B.M., Notenboom, E.: Testing Embedded Software. Addison-Wesley, Boston (2003)
4. OMG: Unified Modeling Language Superstructure, Version 2.3 (2010). http://www.omg.org/spec/UML/2.3/
5. OMG: Modeling and Analysis of Real-time and Embedded systems (MARTE), Version 1.0 (2009). http://www.omg.org/spec/MARTE/1.0/