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