Supervisory control for real-time systems based on conflict-tolerant controllers | IEEE Conference Publication | IEEE Xplore