A Practical Event-B Refinement Method based on a UML-driven Development Process - Silva, Paulo Sérgio Muniz; Sousa, Thiago C. de; Snook, Colin F. (Lecture Notes in Computer Science, 2012)