"On the Use of Model Checking Techniques for Dependability Evaluation."

Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics