Modelling common cause failures of large digital I&C systems with coloured Petri nets. - Gilles Deleuze; Nicolae Brinzei; Nicolas Villaume (CoRR, 2014)