Keywords: Comodeling; Behavior Engineering; Behavior Trees; Modelica; Model Driven Engineering
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
 Wladimir Schamai; Uwe Pohlmann; Peter Fritzson; Christian J.J. Paredis; Philipp Helle; Carsten Strobel. Execution of UML State Machines Using ModelicaIn Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; (EOOLT 2010); Published by Linkoping University Electronic Press; www.ep.liu.se; In conjunction with MODELS 2010; Oslo; Norway; Oct 3; 2010.
 Wladimir Schamai; Philipp Helle; Peter Fritzson; Christian Paredis. Virtual Verication of System Designs against System Requirements; In Proc. of 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES 2010). In conjunction with MODELS 2010. Oslo; Norway; Oct 4; 2010.
 Toby Myers; Geoff Dromey; Peter Fritzson. Comodeling:From Requirements to an Integrated Software/Hardware Model; IEEE Computer 44(4) pp.62-70; April 2011 doi: 10.1109/MC.2010.270.
 Toby Myers. The Foundations for a Scaleable Methodology for Systems Design; PhD Thesis; School of Computer and Information Technology; Griffith University; Australia; 2010.
 Modelica Association. Modelica: A Unified Object- Oriented Language for Physical Systems Modeling: Language Specification Version 3.0; Sept 2007. http://www.modelica.org.
 Michael Tiller. Introduction to Physical Modeling with Modelica. Kluwer Academic Publishers; 2001.
 Peter Fritzson. Principles of Object-Oriented Modeling and Simulation with Modelica 2.1. Wiley-IEEE Press; 2004.
 Open Source Modelica Consortium. OpenModelica. http://www.openmodelica.org.
 Dynasim. Dymola. http://dynasim.com.
 MathCore. Mathmodelica. http://www.mathcore.com.
 Geoff Dromey. From requirements to design: Formalizing the key steps. in Proc. Conf. on Software Engineering and Formal Methods (SEFM). IEEE Computer Society; pp. 2- 13; 2003.
 Geoff Dromey. Climbing over the ‚Äúno silver bullet‚ÄĚ brick wall. IEEE Software; vol. 23; pp. 120; 118-119; 2006.
 Robert Colvin and Ian Hayes. A semantics for BehaviorTrees using CSP with specification commands. Science of Computer Programming; In Press; Corrected Proof; Available online 9 December 2010.
 Toby Myers. TextBE: A Textual Editor for BehaviorEngineering. Proceedings of the 3rd Improving Systems and Software Engineering Conference (ISSEC); Sydney; Australia; 2-5 August 2011 (Accepted).
 Martin Otter; Martin Malmheden; Hilding Elmqvist; SvenErik Mattsson; and Charlotta Johnsson. A New Formalism for Modeling of Reactive and Hybrid Systems. In Proceedings of the 7th International Modelica Conference; Como; Italy. September 20-22; 2009.
 Sabrina Pro√ü and Bernhard Bachmann. A Petri Net Library for Modeling Hybrid Systems in OpenModelica. Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009.
 Toby Myers; M. Wendland; S. Kim; Peter Lindsay. From Requirements to Executable UML State Machines: A Formal Path using Behavior Engineering and M2M Transformations; Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems; Wellington; New Zealand; 16-21 October 2011 (submitted).
 M. Wendland; I. Schieferdecker; A. Vouffo-Feudjio. Requirements driven testing with behavior trees. In Proceedings of the ICST Workshop Requirements and Validation; Verification & Testing (ReVVerT 2011). 2011. Accepted.
 M. Mernik; J. Heering and A. M. Sloane. When and how o develop domain-specific languages; ACM Computing Surveys (CSUR); vol. 37(4); 2005. pp. 316-344.
 J. Heering and M. Mernik; Domain-specific languages in perspective; Tech. rep.; CWI; sEN-E0702. 2007.