Nonblocking Supervisory Control of State Tree Structures - Ma, Chuan; Wonham, W. Murray (Springer Berlin Heidelberg, 2005)