BaekGyu Kim, Lu Feng, Oleg Sokolsky, Insup Lee. Platform-Specific Code Generation from Platform-Independent Timed Models. In 2015 IEEE Real-Time Systems Symposium, RTSS 2015, San Antonio, Texas, USA, December 1-4, 2015. pages 75-86, IEEE, 2015. [doi]
Abstract is missing.