Derivation of Stochastic Reward Net for Compatibility and Conformance Verification of Component Erroneous Behavior Model | IEEE Conference Publication | IEEE Xplore