Title: Semi-Automatic Development of Payload Operations Control Center Software