Verification of UML Models by Translation to UML-B. - Colin F. Snook; Vitaly Savicks; Michael J. Butler (FMCO, 2010)

Co-simulation Environment for Rodin: Landing Gear Case Study. - Vitaly Savicks; Michael J. Butler; John Colley (ABZ (Case Study), 2014)

Co-simulating event-B and continuous models via FMI. - Vitaly Savicks; Michael J. Butler; John Colley (SummerSim, 2014)

Integrating formal verification and simulation of hybrid systems. - Vitaly Savicks (2016)