MultiVeStA: Statistical model checking for discrete event simulators