Jegourel, C.; Legay, A.; Sedwards, S.; Traonouez, L.-M. Distributed Verification of Rare Properties Using Importance Splitting Observers. eceasst 2015, 72.