Feng Zhao Xenofon D. Koutsoukos Horst W. Haussecker James Reich Patrick Cheung Monitoring and fault diagnosis of hybrid systems. 1225-1240 2005 35 IEEE Transactions on Systems, Man, and Cybernetics, Part B 6 http://dx.doi.org/10.1109/TSMCB.2005.850178 db/journals/tsmc/tsmcb35.html#ZhaoKHRC05