"Diagnostic Tests for Single Transition Faults in Non-Deterministic Finite ..."

Abderrazak Ghedamsi, Rachida Dssouli, Gregor von Bochmann (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics