A Hybrid Automata Based on Event Algebra for CPS Modelling | IEEE Conference Publication | IEEE Xplore