Formal verification of connectivity management models in M2M communications | IEEE Conference Publication | IEEE Xplore