Ard Overkamp Supervisory control using failure semantics and partial specifications. 498-510 1997 42 IEEE Trans. Autom. Control. 4 https://doi.org/10.1109/9.566659 db/journals/tac/tac42.html#Overkamp97