Event enforcement in the context of the supervisory control theory | IEEE Conference Publication | IEEE Xplore