FRESCO: A Framework for Spacecraft Systems Autonomy | IEEE Conference Publication | IEEE Xplore