A Domain Specific Language for the ARINC 653 Specification | IEEE Conference Publication | IEEE Xplore