Estimation of transactional reliability of object-oriented software of information and control systems | IEEE Conference Publication | IEEE Xplore