The impact of autonomy technology on spacecraft software architecture: a case study | IEEE Journals & Magazine | IEEE Xplore