Supervisory Control of Discrete-Event Systems - Wonham, Walter Murray 1934-2023; Cai, Kai (Springer, 2019)