Thomas Hune

Thomas Hune, Kim G. Larsen, and Paul Pettersson. Guided Synthesis of Control Programs Using UPPAAL. Nordic Journal of Computing, 8(1):43-64, Spring 2001. Abstract, References, etc.