Supervisory Control of Discrete-Event Systems - W. Murray Wonham, Kai Cai (Springer, 2019)