Early reliability assessment of component-based software system using colored petri net. - Amir Hosseinzadeh-Mokarram; Ayaz Isazadeh; Habib Izadkhah (Turkish J. Electr. Eng. Comput. Sci., 2019)