Modeliranje nefunkcijskih svojstava programskih komponenata signalizacijskih protokola : doktorski rad = Modelling non-functional properties of signalling protocols software components : doctoral thesis - Hribar, Lovre (2015)