%O Book %F jdeds07 %T Modelling and Control of Reactive Systems %E Alla, H. %E Boel, René %E Rutten, E. %S Special issue of the journal of Discrete Event Dynamic System %8 May %D 2007