Crowd formal modelling and simulation: The Sa'yee ritual | IEEE Conference Publication | IEEE Xplore