Yifei Ma Keith R. Bisset Jiangzhuo Chen Suruchi Deodhar Madhav V. Marathe Formal Specification and Experimental Analysis of an Interactive Epidemic Simulation Framework. 790-795 2011 HPCC https://doi.org/10.1109/HPCC.2011.112 https://doi.ieeecomputersociety.org/10.1109/HPCC.2011.112 conf/hpcc/2011 db/conf/hpcc/hpcc2011.html#MaBCDM11