//-->
Maximally permissive deadlock prevention via an invariant controlled method
Liu, Gaiyun, (2013)
Reaching most states via refining controller regions for supervisors of two well-known S3PRs
Chao, Daniel Yuh, (2013)