@inproceedings{HRSV01,
author =        {T.S Hune and J.M.T Romijn and 
                M.I.A. Stoelinga and F.W. Vaandrager},
booktitle =     {Proceedings of international conference on tools and
                algoritms for the construction and analysis of systems 
         	(TACAS'01)}
title =         {Linear parametric model checking of timed automata},
editor =        {T. Margaria and W. Yi},
year =          2001,
series =        lncs,
volume =        2031,
publisher =     Springer,
}