Model-Checking Real-Time Properties of an Auto Flight Control System Function. - Pierre-Alain Bourdil; Bernard Berthomieu; Eric Jenn (ISSRE Workshops, 2014)

Symmetry reduced state classes for time petri nets. - Pierre-Alain Bourdil; Bernard Berthomieu; Silvano Dal-Zilio; François Vernadat 001 (SAC, 2015)

Contribution à la modélisation et la vérification formelle par model-checking - Symétries pour les Réseaux de Petri Temporels. (Contribution to the modeling and formal verification by model checking - Symmetries for Temporal Petri Nets). - Pierre-Alain Bourdil (2015)

Symmetry reduction for time Petri net state classes. - Pierre-Alain Bourdil; Bernard Berthomieu; Silvano Dal-Zilio; François Vernadat 001 (Sci. Comput. Program., 2016)

Time-accurate Middleware for the Virtualization of Communication Protocols. - Rafael Scarduelli; Pierre-Alain Bourdil; Silvano Dal-Zilio; Didier Le Botlan (CoRR, 2018)