An Introduction to using Event-B for Cyber-Physical System Specification and Design

• Slides by John Colley and Michael Butler: here
• Tutorial paper by John Colley: here

 A Formal, Systematic Approach to STPA using Event-B Refinement and Proof:

• Video presentation by John Colley at the 2013 Safety Critical Systems Symposium
  

Mastering System Analysis and Design through Abstraction and Refinement:

• Lecture notes by Michael Butler  

Guidelines for Decomposition of Control System Models in Event-B

• Lecture notes by Michael Butler  

Theory Plug-in Guidelines

• Slides by Michael Butler, Asieh Salehi, Jean-Raymond Abrial: here

Multi-Simulation in Rodin

• MultiSim plug-in slides by Vitaly Savicks: here

ADVANCE Discrete Event Simulation Training:

• Slides by John Colley: Part 1 and Part 2

Training for Code Generation: Using Tasking Event-B

• Slides by Andy Edmunds: here

Training for using iUML-B Modelling tools

• Movie: Using the iUML Statemachine plug-in by Colin Snook

   

Rodin Handbook

• Extensive handbook on Event-B and Rodin 

Support for plug-in developers

• Slides on Event-B EMF frameworks for extensions by Colin Snook
   

ProB Data Validation Tutorial

• http://www.data-validation.fr/formal-data-validation-tutorial-at-abz-2014-toulouse/
   

ProB User manual

• http://www.stups.uni-duesseldorf.de/ProB/index.php5/User_Manual
  

ProB Tutorial

•  http://www.stups.uni-duesseldorf.de/ProB/index.php5/Tutorial

ProB Developer Manual

• Wiki page with further links: www.stups.uni-duesseldorf.de/ProB/index.php5/Developer_Manual