Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli. Automatic Generation of a Real-Time Operating System for Embedded Systems. In Proceedings of the Fifth International Workshop on Hardware/Software Codesign, CODES/CASHE 1997, March 24-26, 1997, Braunschweig, Germany. pages 95-100, IEEE Computer Society, 1997. [doi]
Abstract is missing.