Property Model Methodology: A First Application to an Operational Project in the Space Domain, 2015. ,
DOI : 10.1007/978-3-319-26109-6_12
Segonds F: Property Model Methodology: a case study with Modelica ,
Avionic Systems Design, 1994. ,
A methodology for Systems Engineering, 1962. ,
Model Based Systems Engineering: Fundamentals and Methods, 2014. ,
DOI : 10.1002/9781118579435
Philosophy of science, volume 1: from problem to theory, Chapter 1, The scientific approach, Transaction Publishers, 2007. ,
Introduction to Simulink with Engineering Applications, 2011. ,
Modeling in event-B, System and Software Engineering, 2010. ,
Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009. ,
DOI : 10.1145/1453101.1453133
Toward a property based requirements theory: System requirements structured as a semilattice, Systems Engineering, vol.5, issue.2, pp.235-245, 2008. ,
DOI : 10.1002/sys.20097
E: Theory of Technical Systems: A Total Concept Theory for Engineering Design, 1988. ,
Property-Model Methodology: A Model-Based Systems Engineering Approach Using VHDL-AMS, Systems Engineering, vol.16, issue.3, pp.249-263, 2014. ,
DOI : 10.1002/sys.21267
Merging and Processing Heterogeneous Model, to be published, 2016. ,