Modelling of emergency vehicle preemption systems using statecharts.

Yi-Shun Weng, Yi-Sheng Huang, Shun-Feng Su, Chi-Shan Yu

Browse the full SMC paper archive.