IN service specification using the KANNEL language. - Kari Granö; Jarmo Harju; Tapani Järvinen; Tapani Karttunen; Tapani Larikka; Jukka Paakki (SMARTNET, 1994)