"A formal analysis of requirements-based testing."

Charles Pecheur, Franco Raimondi, Guillaume Brat (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics