Thomas Hune Kim Guldstrand Larsen Paul Pettersson Guided Synthesis of Control Programs Using UPPAAL. 43-64 2001 8 Nord. J. Comput. 1 db/journals/njc/njc8.html#HuneLP01