An Extended HTN Language for Onboard Planning and Acting Applied to a Goal-Based Autonomous Satellite | IEEE Journals & Magazine | IEEE Xplore