Hune, Thomas S., Kim G. Larsen, and Paul Pettersson. 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.