Improving emergency management by formal dynamic process-modelling · Study