Jan Stöcker: An Intermediate Model for the Verification of Asynchronous Real-Time Embedded Systems: Definition and Application of the ATLANTIF language. Grenoble Institute of Technology, France 2009