Model-based design and automated validation of ARINC653 architectures | IEEE Conference Publication | IEEE Xplore