Enabling onboard spacecraft autonomy though goal-based architectures: an integration of model-based artificial intelligence planning with procedural elaboration | IEEE Conference Publication | IEEE Xplore