Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL | IEEE Conference Publication | IEEE Xplore