After having introduced several theoretical concepts to formally describe a system property; the development of a dedicated library is explained and illustrated on an industrial example taken from the aeronautics domain. Some checks of system properties are thus performed by co-simulating behavioral and properties models. Finally; some extensions of the Modelica language are advocated in order to improve the applicability range and efficiency of properties modeling for complex systems; and especially to increase the rigor of their validations by enabling formal proofs.
 Information available on the Modelica Association web site: http://www.modelica.org
 P. Fritzson; Principles of Object-Oriented Modeling and Simulation with Modelica 2.1; Wiley IEE Press; 944 pages; February 2004.
 Information available on the OpenProd web site: http://www.ida.liu.se/~pelab/OpenProd/
 Information available on the official UML web site: http://www.uml.org
 W. Schamai; P. Fritzson; C. Paredis; A. Pop; Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations; in Proceedings of the 7th Modelica Conference; Como; Italy; September 20-22; 2009.
 W. Schamai; Modelica Modeling Language (ModelicaML): A UML Profile for Modelica; technical report in Computer and Information Science; n° 2009:5; Linköping University Electronic Press; 49 pages; 2009.
 Information available on the EuroSysLib web site: http://www.eurosyslib.com
 Property Specification Language – Reference Manual; Accellera technical report; USA; June 2004.
 Dymola software; Dassault Systèmes; information available at: http://www.dymola.com
 D. Harel; Statecharts: A visual formalism for complex systems; in Science of Computer Programming; 8(3):231-274; June 1987.
 W. Schamai; P. Helle; P. Fritzson; C. Paredis; Virtual Verification of Systems Design against System Requirements – A Method Proposal; in Proceedings of the 3rd International Workshop on Model Based Architecturing and Construction of Embedded Systems (ACES 2010); in conjunction with MODELS 2010; Oslo; Norway; October 4; 2010.
 T. Myers; P. Fritzson; R.G. Dromey; Seamlessly Integrating Software & Hardware Modelling for Large-Scale Systems; in Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2008); Paphos; Cyprus; July 8; 2008.
 Eurosyslib sWP7.1 DGT116083B Dysfunctional Use Cases and User Requirements; 2010.
 EuroSysLib sWP7.1 DGT124618 Properties Evaluation Report; 2010.
 EuroSysLib sWP7.1 Properties Modeling; 2010.