BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems | IEEE Journals & Magazine | IEEE Xplore