Filip Thoen Marco Cornero Gert Goossens Hugo De Man Software Synthesis for Real-Time Information Processing Systems. 60-69 1995 Workshop on Languages, Compilers, & Tools for Real-Time Systems db/conf/lctrts/lctrts95.html#ThoenCGM95