Santhanam, G. R.; Suvorov, Y.; Basu, S.; Honavar, V. Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach. AAAI 2011, 25, 1408-1414.