D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972.
DOI : 10.1145/361598.361623

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.
DOI : 10.1109/MC.2006.58

B. M. Broekman and E. Notenboom, Testing Embedded Software, 2002.

M. A. Wehrmeister, E. P. Freitas, C. E. Pereira, and F. R. Wagner, An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp.428-432, 2007.
DOI : 10.1109/ISORC.2007.17

M. A. Wehrmeister, C. E. Pereira, and F. Rammig, Aspect-oriented model-driven engineering for embedded systems applied to automation systems To appear in special issue on Software Engineering in Factory and Energy Automation, IEEE Trans. on Industrial Informatics, 2013.

M. A. Wehrmeister, J. G. Packer, and L. M. Ceron, Support for early verification of embedded real-time systems through UML models simulation, ACM SIGOPS Operating Systems Review, vol.46, issue.1, pp.73-81, 2012.
DOI : 10.1145/2146382.2146396

A. Pretschner, One evaluation of model-based testing and its automation, Proc. 27th International Conference on Software Engineering, pp.392-401, 2005.

P. Baker and C. Jervis, Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile, Proc. 13th Intl. SDL Forum: Conf. on Design for Dependable Systems. SDL'07, pp.86-100, 2007.
DOI : 10.1007/978-3-540-74984-4_6

J. Zander, Z. R. Dai, I. Schieferdecker, and G. Din, From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -, Proc. 17th Intl. Conf. on Testing of Communicating Systems, pp.289-303, 2005.
DOI : 10.1007/3-540-44830-6_7

P. Iyenghar, E. Pulvermueller, and C. Westerkamp, Towards Model-Based Test automation for embedded systems using UML and UTP, ETFA2011, pp.1-9, 2011.
DOI : 10.1109/ETFA.2011.6058982

A. Z. Javed, P. A. Strooper, and G. N. Watson, Automated Generation of Test Cases Using Model-Driven Architecture, Second International Workshop on Automation of Software Test (AST '07), 2007.
DOI : 10.1109/AST.2007.2

K. Beck, Simple smalltalk testing Kent Beck's Guide to Better Smalltalk, pp.277-288, 1999.
DOI : 10.1017/cbo9780511574979.033

M. Wehrmeister, L. Ceron, and J. Silva, Early Verification of Embedded Systems: Testing Automation for UML Models, 2012 Brazilian Symposium on Computing System Engineering, pp.1-7, 2012.
DOI : 10.1109/SBESC.2012.31