Process models in the development of aerospace embedded software | IEEE Conference Publication | IEEE Xplore