@article{HRSV02,
author =        {T.S. Hune and J.M.T. Romijn and M.I.A. Stoelinga and 
                F.W. Vaandrager},
title =         {Linear parametric model checking of timed automata},
journal =       {Journal of Logic and Algebraic Programming},
editor =        {H. Hermanns and J.-P. Katoen},
year =          2002,
}