ZHAO YONGWANG ET AL: 'Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B', 2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), IEEE, 2 November 2015 (2015-11-02), pages 281 - 292, XP032850020, DOI: 10.1109/ISSRE.2015.7381821