Hune, T. S., J. Romijn, M. Stoelinga, og F. W. Vaandrager. “Linear Parametric Model Checking of Timed Automata”. BRICS Report Series, bd. 8, nr. 5, januar 2001, doi:10.7146/brics.v8i5.20459.