G. R. Santhanam, Y. Suvorov, S. Basu, and V. Honavar, “Verifying Intervention Policies to Counter Infection Propagation over Networks: A Model Checking Approach”, AAAI, vol. 25, no. 1, pp. 1408-1414, Aug. 2011.