"From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform."

Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics