Supervisory Control of Discrete-Event Systems - Wonham, W. Murray; Wonham, W. Murray; Cai, Kai (Springer International Publishing : Imprint: Springer, 2019)