A Human Operator Model for Medical Device Interaction Using Behavior-Based Hybrid Automata | IEEE Journals & Magazine | IEEE Xplore