Synchronization-based fault detection in discrete event systems | IEEE Conference Publication | IEEE Xplore