Fault diagnosis method for timed discrete-event systems: Application to autonomous electric vehicle | IEEE Conference Publication | IEEE Xplore