Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. - Jan Stöcker; Frédéric Lang; Hubert Garavel (IFM, 2009)

An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems: Definition and Application of the ATLANTIF language. - Jan Stöcker (2009)