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