@MastersThesis{hir04_ag, AUTHOR = {Hirsch, Martin}, TITLE = {{Effizientes Model Checking von UML-RT Modellen und Realtime Statecharts mit UPPAAL}}, YEAR = {2004}, SCHOOL = {University of Paderborn}, URL = {http://www.uni-paderborn.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Diplom/2004/DiplomMHirsch.pdf} }