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 (Dec. 2000). DOI:https://doi.org/10.7146/brics.v7i37.20203.