Nonblocking Supervisory Control Of State Tree Structures by Chuan Ma & Murray W. Wonham