F. Capkovic, “Modelling and Control of Discrete Event Dynamic Systems”, BRICS, bd. 7, nr. 26, jan. 2000.