Supervisory control synthesis for a waterway lock | IEEE Conference Publication | IEEE Xplore