Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel. From Synchronous Specifications to Statically Scheduled Hard Real-Time Implementations. In Sandeep Kumar Shukla, Jean-Pierre Talpin, editors, Synthesis of Embedded Software - Frameworks and Methodologies for Correctness by Construction. pages 229-262, Springer, 2010. [doi]
Abstract is missing.