CARATS: A Computer-Aided Reliability Assessment Tool for Software Based on Object-Oriented Design | IEEE Conference Publication | IEEE Xplore