Formalni postupci provjere signalizacijskih protokola : magistarski rad - Krajnović, Siniša (S. Krajnović ; Fakultet elektrotehnike i računarstva, 1997)