F. Capkovic, “Modelling and Control of Discrete Event Dynamic Systems”, BRICS, vol. 7, no. 26, Jan. 2000.