R. F. Lutje Spelberg

R. F. Lutje Spelberg and W. J. Toetenel. Parametric Real-Time Model Checking Using Splitting Trees. Nordic Journal of Computing, 8(1):88-120, Spring 2001. Abstract, References, etc.