Automaton-based fault detection and isolation - Philips, P. (2014)
10.1016/S0098-1354(99)80053-2