BDD-based supervisory control on extended finite automata | IEEE Conference Publication | IEEE Xplore