Control of Discrete-Event Systems - Seatzu, Carla; Silva, Manuel; van Schuppen, Jan H. (Springer London, 2013)