An example of supervisory control in C2 | IEEE Conference Publication | IEEE Xplore