Validation of object oriented software design with fault tree analysis | IEEE Conference Publication | IEEE Xplore