"Engineering Abstractions in Model Checking and Testing."

Michael Achenbach, Klaus Ostermann (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics