Keywords: MBSE; SysML; Modelica; Parameter Synthesis
Proceedings of the 9th International MODELICA Conference; September 3-5; 2012; Munich; Germany
 Hubert Dubois; Marie-Agn√®s Peraldi-Frati; and Fadoi Lakhal. A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems. In 15th IEEE International Conference on Engineering of Complex Computer Systems; ICECCS 2010; Oxford; United Kingdom; 22-26 March 2010; pages 233‚Äď242; 2010.
 Martin Glinz. On Non-Functional Requirements. In 15th IEEE International Requirements Engineering Conference; RE 2007; October 15-19th; 2007; New Delhi; India; pages 21‚Äď26; 2007.
 Hongchao Ji; Oliver Lenord; and Dieter Schramm. A Model Driven Approach for Requirements Engineering of Industrial Automation Systems. In Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT‚Äô07); pages 13‚Äď24; 2011.
 Thomas Johnson; Christiaan J.J. Paredis; and Roger Burkhart. Integrating Models and Simulations of Continuous Dynamics into SysML. In Proceedings of 6th International Modelica Conference; Bielefeld; Germany; 3-4;March; 2008.
 Christiaan J.J. Paredis; Yves Bernard; Roger M. Burkhart; Hans-Peter de Koning; Sanford Friedenthal; Peter Fritzson; Nicolas F. Rouquette; and Wladimir Schamai. An Overview of the SysML-Modelica Transformation Specification. In 2010 INCOSE International Symposium; July 2010.
 Adrian Pop; David Akhvlediani; and Peter Fritzson. Towards Unified System Modeling with the ModelicaML UML Profile. In Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools (EOOLT‚Äô07); pages 13‚Äď24; 2007.
 Wladimir Schamai. Modelica Modeling Language (ModelicaML). Technical report; EADS Innovation Works; Germany; 2009.
 Wladimir Schamai; Peter Fritzson; Chris Paredis; and Adrian Pop. Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations. In Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 September 2009; number 43 in Link√∂ping Electronic Conference Proceedings; pages 612‚Äď621. Link√∂ping University Electronic Press; Link√∂pings universitet; December 2009.
 Wladimir Schamai; Philipp Helle; Peter Fritzson; and Christiaan J. J. Paredis. Virtual Verification of System Designs against System Requirements. In Models in Software Engineering - Workshops and Symposia at MODELS 2010; Oslo; Norway; October 2-8; 2010; Reports and Revised Selected Papers; pages 75‚Äď89; 2010.
 VDI. Design Methodology for Mechatronic Systems (VDI 2206). Technical report; VDI; 2004.