Probabilistic verification of sensor networks | IEEE Conference Publication | IEEE Xplore