"Probabilistic verification of sensor networks."

Akim Demaille, Thomas Hérault, Sylvain Peyronnet (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics