"Assessing the Quality of B Models."

Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics