Model-based fault tolerant control reconfiguration for discrete event systems | IEEE Conference Publication | IEEE Xplore