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