Applying Parametric Model-Checking Techniques for Reusing Real-Time Critical Systems. - Baptiste Parquier; Laurent Rioux; Rafik Henia; Romain Soulat; Olivier H. Roux; Didier Lime; Étienne André (FTSCS, 2016)

Optimal Reachability in Cost Time Petri Nets. - Hanifa Boucheneb; Didier Lime; Baptiste Parquier; Olivier H. Roux; Charlotte Seidner (FORMATS, 2017)