A Model-based Analysis of Evacuation Strategies in Hospital Emergency Departments | IEEE Conference Publication | IEEE Xplore