A process model for the maintenance of large space systems software | IEEE Conference Publication | IEEE Xplore