[{"text":"\n\nMessage sequence charts. ITU-T recommendation Z.120, 1996.\n\n"},{"text":"\n\n\nJ.-R. Abrial, The B-book: assigning programs to meanings, Cambridge University Press, New York, NY, 1996 \n\n","citation":"236705"},{"text":"\n\n\nAxel Belinfante , Jan Feenstra , René G. de Vries , Jan Tretmans , Nicolae Goga , Loe M. G. Feijs , Sjouke Mauw , Lex Heerink, Formal Test Automation: A Simple Experiment, Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications, p.179-196, September 01-03, 1999 \n\n","citation":"747998"},{"text":"\n\n\nSebastian Benz, Combining test case generation for component and integration testing, Proceedings of the 3rd international workshop on Advances in model-based testing, p.23-33, July 09-12, 2007, London, United Kingdom   [doi>10.1145/1291535.1291538]\n\n","citation":"1291538","doi":"http://doi.acm.org/10.1145/1291535.1291538"},{"text":"\n\nF. Bouquet and B. Legeard. Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study. In Proc. of FME'03, Formal Method Europe, volume 2805 of LNCS, pages 778--795, Pisa, Italy, Sept. 2003.\n\n"},{"text":"\n\n\nFrank Budinsky , Stephen A. Brodsky , Ed Merks, Eclipse Modeling Framework, Pearson Education, 2003 \n\n","citation":"861506"},{"text":"\n\n\nOege de Moor , Simon L. Peyton Jones , Eric Van Wyk, Aspect-Oriented Compilers, Proceedings of the First International Symposium on Generative and Component-Based Software Engineering, p.121-133, September 28-30, 1999 \n\n","citation":"652051"},{"text":"\n\n\nJens Grabowski , Dieter Hogrefe , György Réthy , Ina Schieferdecker , Anthony Wiles , Colin Willcock, An introduction to the testing and test control notation (TTCN-3), Computer Networks: The International Journal of Computer and Telecommunications Networking, v.42 n.3, p.375-403, 21 June 2003   [doi>10.1016/S1389-1286(03)00249-4]\n\n","citation":"860981"},{"text":"\n\n\nJeff Gray , Yuehua Lin , Jing Zhang, Automating Change Evolution in Model-Driven Engineering, Computer, v.39 n.2, p.51-58, February 2006   [doi>10.1109/MC.2006.45]\n\n","citation":"1115711"},{"text":"\n\n\nGerard J. Holzmann, The Model Checker SPIN, IEEE Transactions on Software Engineering, v.23 n.5, p.279-295, May 1997   [doi>10.1109/32.588521]\n\n","citation":"260902"},{"text":"\n\n\nClaude Jard , Thierry Jéron, TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems, International Journal on Software Tools for Technology Transfer (STTT), v.7 n.4, p.297-315, August 2005   [doi>10.1007/s10009-004-0153-x]\n\n","citation":"1081051"},{"text":"\n\n\nG. Kiczales, Aspect-oriented programming, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996   [doi>10.1145/242224.242420]\n\n","citation":"242420","doi":"http://doi.acm.org/10.1145/242224.242420"},{"text":"\n\nD. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127--145, 1968.\n\n"},{"text":"\n\nObject Management Group (OMG). Meta object facility (MOF) specification. formal/2002-04-03, April 2002.\n\n"},{"text":"\n\n\nJukka Paakki, Attribute grammar paradigms—a high-level methodology in language implementation, ACM Computing Surveys (CSUR), v.27 n.2, p.196-255, June 1995   [doi>10.1145/210376.197409]\n\n","citation":"197409","doi":"http://doi.acm.org/10.1145/210376.197409"},{"text":"\n\nW. Prenninger, M. El-Ramly, and M. Horstmann. Case studies. In Model-Based Testing of Reactive Systems, pages 439--461, 2004.\n\n"},{"text":"\n \n\nMark Utting , Bruno Legeard, Practical Model-Based Testing: A Tools Approach, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2006 \n\n","citation":"1200168"},{"text":"\n\n\nEelco Visser, Stratego: A Language for Program Transformation Based on Rewriting Strategies, Proceedings of the 12th International Conference on Rewriting Techniques and Applications, p.357-362, May 22-24, 2001 \n\n","citation":"718711"}]