Jegourel, C., Legay, A., Sedwards, S., & Traonouez, L.-M. (2015). Distributed Verification of Rare Properties using Importance Splitting Observers. Electronic Communications of the EASST, 72. https://doi.org/10.14279/tuj.eceasst.72.1024