Pao-Ann Hsiung. Formal synthesis and code generation of embedded real-time software. In Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu, editors, Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001. pages 208-213, ACM, 2001. [doi]
Abstract is missing.