Sophie Laplante Richard Lassaigne Frédéric Magniez Sylvain Peyronnet Michel de Rougemont Probabilistic abstraction for model checking: An approach based on property testing Electronic Colloquium on Computational Complexity (ECCC) 2001 8 51 db/journals/eccc/eccc8.html#ECCC-TR01-051 http://eccc.hpi-web.de/eccc-reports/2001/TR01-051/index.html