sur 15
Supervisory Control of Concurrent Systems — Marian Iordache, Panos J. Antsaklis