Formal Specification and Experimental Analysis of an Interactive Epidemic Simulation Framework | IEEE Conference Publication | IEEE Xplore