Capkovic, F. “Modelling and Control of Discrete Event Dynamic Systems”. BRICS Report Series, vol. 7, no. 26, Jan. 2000, doi:10.7146/brics.v7i26.20156.