• Systematic Construction of Critical Embedded Systems Using Event-B, REMEDY@MEDI2018
• The complete Event-B Model (in latex/pdf) LandingSys5
• Structure of the overall project (dependency diagram) lands5_decomp
• The proof statistics of the project proof_stats_LandingSys5_april12_2019
• Decomposition into HW and SW parts process decomposing_R3_3

• 

• 

•