Supervisory Control Of Concurrent Systems by Panos J. Antsaklis, Marian Iordache & Panos Antsaklis