Automation and Test Software in Satellite Command and Control Systems: Procedure Executor | IEEE Conference Publication | IEEE Xplore