"Behavioral Conformance Verification in an Integrated Approach Using UML and B."

Eric Meyer, Thomas Santen (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics