Building a predictable avionics platform in Ada: a case study | IEEE Conference Publication | IEEE Xplore