Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont Probabilistic abstraction for model checking: An approach based on property testing. 2007 8 ACM Trans. Comput. Log. 4 http://doi.acm.org/10.1145/1276920.1276922 db/journals/tocl/tocl8.html#LaplanteLMPR07