Matteo Bordin, Tullio Vardanega. Automated Model-Based Generation of Ravenscar-Compliant Source Code. In 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 6-8 July 2005, Palma de Mallorca, Spain, Proceedings. pages 59-67, IEEE Computer Society, 2005. [doi]
Abstract is missing.