@mastersthesis{TUW-106225, author = {Allram, Martin}, title = {System Verification of UMTS Baseband Functions with High Level Models}, school = {Institut f{\"u}r Nachrichtentechnik und Hochfrequenztechnik}, year = {2003}, url = {http://publik.tuwien.ac.at/files/pub-et_6888.pdf} }