Toward a property based requirements theory: System requirements structured as a semilattice. - Patrice Micouin (Syst. Eng., 2008)

Model Based Systems Engineering using VHDL-AMS. - Patrice Micouin (CSER, 2013)

Property-Model Methodology: A Model-Based Systems Engineering Approach Using VHDL-AMS. - Patrice Micouin (Syst. Eng., 2014)

Property Model Methodology: A First Application to an Operational Project in the Space Domain. - Erwann Poupart; Jean-Marie Wallut; Patrice Micouin (CSDM, 2015)