"ProTest: An Automatic Test Environment for B Specifications."

Manoranjan Satpathy, Michael Leuschel, Michael J. Butler (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics