Hune TS, Larsen KG, Pettersson P. Guided Synthesis of Control Programs for a Batch Plant using UPPAAL. BRICS [Internet]. 2000 Dec. 1 [cited 2024 Apr. 20];7(37). Available from: https://tidsskrift.dk/brics/article/view/20203