Larsson, Fredrik, m.fl. “On Memory-Block Traversal Problems in Model Checking Timed Systems”. BRICS Report Series, bd. 7, nr. 3, januar 2000, doi:10.7146/brics.v7i3.20131.