Fault detection/monitoring using time Petri nets | IEEE Journals & Magazine | IEEE Xplore