Tarek Sadani Marc Boyer Pierre de Saqui-Sannes Jean-Pierre Courtiat Mapping RT-LOTOS Specifications into Time Petri Nets. 360-379 2006 conf/icfem/2006 ICFEM http://dx.doi.org/10.1007/11901433_20 db/conf/icfem/icfem2006.html#SadaniBSC06