Formalni postupci provjere signalizacijskih protokola : magistarski rad - Krajnović, Siniša (S. Krajnović, 1997)