Coupling and Importance Sampling for Statistical Model Checking - Barbot, B; Haddad, S; Picaronny, C (2012)