Capkovic, F. Modelling and Control of Discrete Event Dynamic Systems. BRICS 2000, 7.