Supervisory Control of Discrete-Event Systems - Wonham (Springer International Publishing, 2019)