Detecting common mode failures in N-version software using weakest precondition analysis | IEEE Conference Publication | IEEE Xplore