Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. - Ganesh Ram Santhanam; Yuly Suvorov; Samik Basu 001; Vasant G. Honavar (AAAI, 2011)