Formal models of communication services: a case study | IEEE Journals & Magazine | IEEE Xplore