Before revision:  The utility of ESOP is demonstrated using case studies with VIPER  , a stochastic agent-based simulator that we also propose .
After revision:  The utility of ESOP is demonstrated using case studies with VIPER (Virus-Individual-Policy-EnviRonment) , a stochastic agent-based simulator that we also propose .