Supervisory Control of Concurrent Systems - Iordache, Marian Valentin; Antsaklis, Panos J.; Iordache, Marian V. (Birkhäuser Boston, 2006)