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