Enabling model-based testing and automated test case generation for ground segment data systems