, ,
I.E.E.E.
IEEE Transactions on Automatic Control

Overkamp, A. (1997). Supervisory control using failure semantics and partial specifications. IEEE Transactions on Automatic Control, 42(4), 498–510.