Nonblocking supervisory control of state tree structures - Ma, Chuan; Wonham, Walter Murray 1934-2023 (Springer, 2005)