Keywords: Requirements; Properties; Modeling; Assertions; Modelica; Safety; Verification; Validation
Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools; April 19; University of Nottingham; Nottingham; UK
 T. Clark; P. Sammut; and J. Willans. Applied metamodelling: a foundation for language driven development (Second Edition); 2008.
 R. Cressent; V. Idasiak; F. Kratz; and P. David. Mastering safety and reliability in a model based process. Proc. of the Reliability and Maintainability Symposium (RAMS); Lake Buena Vista (FL; USA); January 2011.
 P. Fritzson; Principles of Object-Oriented Modeling and Simulation with Modelica 2.1; Wiley IEEE Press; 944 pages; February 2004.
 P. Fritzson. Integrated UML-Modelica Model-Based Product Development for Embedded Systems in OPENPROD. Proc. of the 1st Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (Hopes‚Äô2010); Paris; June 15; 2010.
 A. Garro and A. Tundis. Enhancing the RAMSAS method for Systems Reliability Analysis through Modelica. Proc. of the 7th Workshop on Model-Based Product Development (MODPROD); Link√∂ping (Sweden); 5-6 February; 2013.
 A. Garro and A. Tundis. Modeling and Simulation for System Reliability Analysis: The RAMSAS Method. Proc. of the 7th IEEE International Conference on System of Systems Engineering (IEEE SoSE); Genova (Italy); July 16-19 2012.
 L. Grunske and B. Kaiser. Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations. Proc. of the 5th Int. Conf. on Quality Software (QSIC); Melbourne (Australia); September 2005.
 H. P. Hoffmann. System Engineering Best Practices with Rational Solution for Systems and Software Engineering. February 2011. http://www.ibm.com/.
 A. Jardin; D. Bouskela; T. Nguyen; N. Ruel; E. Thomas; R. Schoenig; S. Loemb√© and L. Chastanet. Modelling of System Properties in a Modelica Framework. Proc. of the 8th International Modelica Conference; TU Dresden; March 20-22; 2011.
 ITEA 2 Projects: MODRIO - http://www.itea2.org/.
 F. Liang; W. Schamai; O. Rogovchenko; S. Sadeghi; M. Nyberg and P. Fritzson. Model-based Requirement Verification: A Case Study. Proc. of the 9th International Modelica Conference (Modelica’2012); Munich (Germany); September 3-5; 2012.
 OpenModelica - Open Source Modelica Consortium (OSMC) - https://www.openmodelica.org/.
 OpenModelica Project: ModelicaML - A UML Profile for Modelica. www.openmodelica.org/modelicaml.
 W. Schamai; P. Fritzson; C.J.J. Paredis; P. Helle. ModelicaML Value Bindings for Automated Model Composition. Proc. of the Symposium on Theory of Modeling and Simulation (DEV‚Äô12); Orlando; FL (USA) March 26-29; 2012.
 W. Schamai; P. Helle; P. Fritzson; and C. Paredis. Virtual Verification of System Designs against System Requirements. Proc. of 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES‚Äô2010); Oslo (Norway); October 4; 2010.