FRACSAT: Automated design synthesis for future space architectures | IEEE Conference Publication | IEEE Xplore