Consistent abstractions for the supervision of sequential behaviours | IEEE Conference Publication | IEEE Xplore