Modeling and Formal Specification of the Personal Communication Service. - D. Desbiens; Gregor von Bochmann; Anindya Das; Joumana Dargham (INFOCOM, 1993)