Towards Formal Modeling of Hotspot Issue by Watch-Man Nodes in Wireless Sensor and Actor Network | IEEE Conference Publication | IEEE Xplore