Russo's formula for random interlacements

In this paper we obtain a couple of explicit expressions for the derivative of the probability of an increasing event in the random interlacements model. The event is supported in a finite subset of the lattice, and the derivative is with respect to the intensity parameter of the model.