C. Jegourel, A. Legay, S. Sedwards, and L.-M. Traonouez, “Distributed Verification of Rare Properties using Importance Splitting Observers”, eceasst, vol. 72, Nov. 2015.