"Combining CSP and B for Specification and Property Verification."

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