Localization methods and verification of communication protocols for healthcare systems=Metode lokalizacije i verifikacija komunikacijskih protokola za potrebe sustava zdravstvene zaštite : doctoral thesis=doktorska diseratacija - Končar, Miroslav (M. Končar ; Fakultet elektrotehnike i računarstva, 2007)