Detecting Common Mode Failures in N-Version Software Using Weakest Precondition Analysis. - Gwang Sik Yoon; Sung Deok Cha; Yong Rae Kwon; Chan Hyung Yoo (APSEC, 1997)