E. Poupart, W. J. Micouin, and P. , Property Model Methodology: A First Application to an Operational Project in the Space Domain, 2015.
DOI : 10.1007/978-3-319-26109-6_12

R. Pinquié, P. Micouin, and V. Ph, Segonds F: Property Model Methodology: a case study with Modelica

J. R. Newport, Avionic Systems Design, 1994.

A. D. Hall, A methodology for Systems Engineering, 1962.

P. Micouin, Model Based Systems Engineering: Fundamentals and Methods, 2014.
DOI : 10.1002/9781118579435

M. Bunge, Philosophy of science, volume 1: from problem to theory, Chapter 1, The scientific approach, Transaction Publishers, 2007.

S. Karris, Introduction to Simulink with Engineering Applications, 2011.

J. Abrial, Modeling in event-B, System and Software Engineering, 2010.

A. Lamsweerde-von, 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

P. Micouin, 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

V. Hubka and W. Eder, E: Theory of Technical Systems: A Total Concept Theory for Engineering Design, 1988.

P. Micouin, 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

P. Dissaux and B. Hall, Merging and Processing Heterogeneous Model, to be published, 2016.