Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol | IEEE Journals & Magazine | IEEE Xplore