Eugenio Cinquemani, Mario Micheli, Giorgio Picci: Fault detection in a class of stochastic hybrid systems. CDC 2004: 3197-3203