Discrete Hybrid Automata for Safe Cyber-physical System: An Astronautic Case Study | IEEE Conference Publication | IEEE Xplore