Towards Automated GUI Design of Display Control Systems Based on SysML and Ontologies