Liveness enforcing supervision for resource allocation systems with forbidden states and uncontrollable events | IEEE Conference Publication | IEEE Xplore