F. Larsson, P. Pettersson, og W. Yi, “On Memory-Block Traversal Problems in Model Checking Timed Systems”, BRICS, bd. 7, nr. 3, jan. 2000.