Jan Stöcker Frédéric Lang Hubert Garavel Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. 88-102 2009 IFM http://dx.doi.org/10.1007/978-3-642-00255-7_7 conf/ifm/2009 db/conf/ifm/ifm2009.html#StockerLG09