A State-Based Systemic View of Behavior for Safe Medical Computer Applications