Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki. Synthesis of software programs for embedded control applications. IEEE Trans. on CAD of Integrated Circuits and Systems, 18(6):834-849, 1999. [doi]