Larsson, Fredrik, Paul Pettersson, and Wang Yi. 2000. “On Memory-Block Traversal Problems in Model Checking Timed Systems”. BRICS Report Series 7 (3). https://doi.org/10.7146/brics.v7i3.20131.