Modelling of emergency vehicle preemption systems using statecharts | IEEE Conference Publication | IEEE Xplore