Formal Verification of Run-to-Completion Style Statecharts Using Event-B.

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert C. Armstrong, Michael J. Butler

Browse the full ECSA paper archive.