Coupling timed plant and controller models with urgent transitions without introducing deadlocks. - Matthieu Perin; Jean-Marc Faure (ETFA, 2012)

Comparing detailed and abstract timed models of automated discrete manufacturing systems. - Matthieu Perin; Jean-Marc Faure (CASE, 2013)

Model-driven multi-level safety analysis of critical systems. - Nataliya Yakymets; Matthieu Perin; Agnes Lanusse (SysCon, 2015)

An MDA Approach for the Specification of Relay-Based Diagrams. - Dalay Israel de Almeida Pereira; Ouahmed Malki; Philippe Bon; Matthieu Perin; Simon Collart Dutilleul (MEDI Workshops, 2018)

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. - Dalay Israel de Almeida Pereira; Sana Debbech; Matthieu Perin; Philippe Bon; Simon Collart Dutilleul (ER, 2019)

B-Specification of Relay-Based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution. - Dalay Israel de Almeida Pereira; David Déharbe; Matthieu Perin; Philippe Bon (RSSRail, 2019)

Model-based safety engineering for autonomous train map. - Nadia Chouchani; Sana Debbech; Matthieu Perin (J. Syst. Softw., 2022)