Thomas Hune Judi Romijn Mariëlle Stoelinga Frits W. Vaandrager Linear parametric model checking of timed automata. 183-220 2002 52-53 J. Log. Algebr. Program. http://dx.doi.org/10.1016/S1567-8326(02)00037-1 db/journals/jlp/jlp52.html#HuneRSV02