Snook, Colin and Butler, Michael (2008) UML-B and Event-B: an integration of languages and tools. In: The IASTED International Conference on Software Engineering - SE2008. (In Press)