Formalni model specifikacije pokretnih telekomunikacijskih agenata : magistarski rad - Bagić, Marina (M. Bagić, 2004)