Proceedings of the workshop on formal verification of telecommunication systems / part 1, part 2. - Ježić, Gordan; Vlaovič, Boštjan (Fakultet elektrotehnike i računarstva - Zagreb, 2005)