R. F. Lutje Spelberg W. J. Toetenel Parametric Real-Time Model Checking Using Splitting Trees. 88-120 2001 8 Nord. J. Comput. 1 db/journals/njc/njc8.html#SpelbergT01