Telecommunication service description using state transition rules. - Y. Hirakawa; T. Takenaka (IWSSD, 1991)