Formalna verifikacija sustava kao mrežna usluga : diplomski rad - Juratovac, Miroslav (M. Juratovac, 2014)