Hune, T. S., K. G. Larsen, and P. Pettersson. “Guided Synthesis of Control Programs for a Batch Plant Using UPPAAL”. BRICS Report Series, vol. 7, no. 37, Dec. 2000, doi:10.7146/brics.v7i37.20203.