Component-based software system reliability allocation and assessment based on ANP and petri | IEEE Conference Publication | IEEE Xplore