TLA-style specification of a mobile network | IEEE Conference Publication | IEEE Xplore