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

Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat

Browse the full SEFM paper archive.