A State-Based Systemic View of Behavior for Safe Medical Computer Applications | IEEE Conference Publication | IEEE Xplore