Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol | IEEE Conference Publication | IEEE Xplore