R. F. Lutje Spelberg W. J. Toetenel Splitting Trees and Partition Refinement in Real-Time Model Checking. 278 2002 HICSS http://csdl.computer.org/comp/proceedings/hicss/2002/1435/09/14350278abs.htm db/conf/hicss/hicss2002-9.html#SpelbergT02