Global property violation detection and diagnosis for wireless sensor networks | IEEE Conference Publication | IEEE Xplore