Dynamic discrete-event systems with instances for the modelling of emergency response protocols | IEEE Conference Publication | IEEE Xplore