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