An approach for verification of ARINC 653 time partitioning concept | IEEE Conference Publication | IEEE Xplore