Robust deadlock control using shared-resources for production systems with unreliable workstations | IEEE Conference Publication | IEEE Xplore