Qiang Wang, Gang Yang, Xingshe Zhou, Yalei Yang. Discrete Hybrid Automata for Safe Cyber-physical System: An Astronautic Case Study. In IEEE 11th International Conference on Dependable, Autonomic and Secure Computing, DASC 2013, Chengdu, China, December 21-22, 2013. pages 137-142, IEEE, 2013. [doi]
Abstract is missing.