Synthesis of software programs for embedded control applications (1999)

by F Balarin, M Chiodo, P Giusto, H Hsieh, A Jurecska, L Lavagno, A Sangiovanni-Vincentelli, E M Sentovich, K Suzuki
Venue:IEEE Transactions on ComputerAided Design of Integrated Circuits and Systems