Keywords: Model Driven Requirements Engineering; Industrial Automation Systems; SysML; Modelica
Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; Zurich; Switzerland; September 5; 2011
 Bosch Rexroth AG. D&C Scheme Editor Manual. Technical report; Bosch Rexroth AG; 2010.
 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 m21–26; 2007.
 Eric Herzog and Asmus Pandikow. SysML - an Assessment.In Proceedings of the 15th INCOSE International Symposium; 2005.
 Marcos Vinicius Linhares; Alexandre Jose da Silva; and Romulo Silva de Oliveira. Empirical Evaluation of SysML through the Modeling of an Industrial Automation Unit. In Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation; 2006.
 Jürgen Lüttin. Bosch Requirements Engineering Framework - Overview. Technical report; Robert Bosch GmbH; 2010.
 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.