Language and Tool Support for Class and State Machine Refinement in UML-B.

Mar Yah Said, Michael J. Butler, Colin F. Snook

Browse the full FM paper archive.