Snook, Colin and Savicks, Vitaly and Butler, Michael (2011) Verification of UML models by translation to UML-B. In: Formal Methods for Components and Objects, 29 Nov 2010, Graz.