[1]
T. S. Hune, K. G. Larsen, and P. Pettersson, “Guided Synthesis of Control Programs for a Batch Plant using UPPAAL”, BRICS, vol. 7, no. 37, Dec. 2000.