Computer software in civil aircraft | IEEE Conference Publication | IEEE Xplore