Julien Boucaron, Anthony Coadou, Robert de Simone. Formal Modeling of Embedded Systems with Explicit Schedules and Routes. In Sandeep Kumar Shukla, Jean-Pierre Talpin, editors, Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction. pages 41-78, Springer, 2010. [doi]
Abstract is missing.