NASA Conference Publication 2255 Advanced Automation for Space Missions 11 "= A5¢3-t_3q-_ Proceedings Jq3- _53_H of the 1980 NASA/ASEE Summer Study held at the University…