Event-based formalization of safety-critical operating system standards: An experience report on ARINC 653 using Event-B.

Yongwang Zhao, Zhibin Yang, David Sann, Yang Liu

Browse the full ISSRE paper archive.