A model-driven and simulation-based method to analyze building evacuation plans | IEEE Conference Publication | IEEE Xplore