A Practical Approach for Closed Systems Formal Verification Using Event-B. - Brett Bicknell; Jose Reis; Michael J. Butler; John Colley; Colin F. Snook (SEFM, 2012)