@inproceedings{M:TPTS02,
author = {M. Oliver M{\"o}ller},
title = {{{P}}arking {C}an {G}et {Y}ou {T}here {F}aster - {{M}}odel {{A}}ugmentation to {{S}}peed up {{R}}eal-{{T}}ime {{M}}odel {{C}}hecking},
booktitle = {Theory and Practice of Timed Systems (TPTS'02); part of ETAPS 2002},
editor = {E. Asarin and O. Maler and S. Yovine},
place = {Grenoble, France},
month = apr,
      
year = {2002},
}