Spatio-temporal hybrid automata for safe cyber-physical systems: A medical case study | IEEE Conference Publication | IEEE Xplore