A Novel Hybrid Automaton Framework for Multi-Phase Epidemic Modelling | IEEE Conference Publication | IEEE Xplore