Operating system application programmer interfaces (API) and their role in open systems for avionics | IEEE Conference Publication | IEEE Xplore