Supervisory control using failure semantics and partial specifications | IEEE Journals & Magazine | IEEE Xplore