Tutorial: a Practical Introduction to using Event-B for Complex Hardware and Embedded System Specification and Design John Colley FDL 2012 Vienna.
John Colley FDL 2012 Vienna