Title: Semi-automatic development of Payload Operations Control Center software