Interpreted petri nets as a validation tool for telecommunication service protocol synthesis - Blašković, Bruno, inženjer elektrotehnike (Array, 1993)