Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans | IEEE Conference Publication | IEEE Xplore