Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata | IEEE Conference Publication | IEEE Xplore