Control of Discrete-Event Systems - Seatzu (Springer London, 2013)