Hune, T. S., Larsen, K. G. and Pettersson, P. (2000) “Guided Synthesis of Control Programs for a Batch Plant using UPPAAL”, BRICS Report Series, 7(37). doi: 10.7146/brics.v7i37.20203.