@misc{indiciaea5934878cf33,
  title = {Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B},
  author = {Yongwang Zhao and Zhibin Yang and David Sanan and Yang Liu},
  year = {2015},
  url = {https://arxiv.org/abs/1508.06479},
  note = {Source identifier: 1508.06479}
}