"PROTEST: a tool for probabilistic testability analysis."

Hans-Joachim Wunderlich (1985)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics