Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets | Publicación