Infections as Abstract Symbolic Finite Automata: Formal Model and Applications | IEEE Conference Publication | IEEE Xplore