Hune, T. S.; Larsen, K. G.; Pettersson, P. Guided Synthesis of Control Programs for a Batch Plant Using UPPAAL. BRICS 2000, 7.