Specifying telephone systems in LOTOS. - Rezki Boumezbeur; Luigi Logrippo (IEEE Commun. Mag., 1993)