A State Class Construction for Computing the Intersection of Time Petri Nets Languages. - Éric Lubat; Silvano Dal-Zilio; Didier Le Botlan; Yannick Pencolé; Audine Subias (FORMATS, 2019)

A New Product Construction for the Diagnosability of Patterns in Time Petri Net. - Éric Lubat; Silvano Dal-Zilio; Didier Le Botlan; Yannick Pencolé; Audine Subias (CDC, 2020)

Towards a Development Process for Multi-CPU Distributed Synchronous Software Applications. - Éric Lubat; Eric Jenn; Dominique Blouin; Marc Kaufmann (MoDELS (Companion), 2023)