Advanced Automation for Space Missions/Appendix 3C

