Larsson, F.; Pettersson, P.; Yi, W. On Memory-Block Traversal Problems in Model Checking Timed Systems. BRICS 2000, 7.