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