Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets. - Ryan Robidoux; Haiping Xu; Liudong Xing; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Part A, 2010)