Formal Specifications of Telephone Systems in LOTOS