Improving the Error Detection Ability of Concurrent Checkers by Observation Point Insertion in the Circuit Under Check. - Valery A. Vardanian; Liana B. Mirzoyan (DATE, 2000)