Hune, Thomas S., Kim G. Larsen, and Paul Pettersson. “Guided Synthesis of Control Programs for a Batch Plant Using UPPAAL”. BRICS Report Series 7, no. 37 (December 1, 2000). Accessed April 24, 2024. https://tidsskrift.dk/brics/article/view/20203.