An Introduction to using Event-B for Cyber-Physical System Specification and Design Author(s): John Colley and Michael Butler Type: Presentation Download
