Tobias Amnell Elena Fersman Paul Pettersson Hongyan Sun Wang Yi Code Synthesis for Timed Automata. 269-300 2002 9 Nord. J. Comput. 4 db/journals/njc/njc9.html#AmnellFPSY02