Modeliranje nefunkcijskih svojstava programskih komponenata signalizacijskih protokola: doktorski rad - Hribar, Lovre (L. Hribar ; Fakultet elektrotehnike i računarstva, 2015)