Larsson, F., Pettersson, P. og Yi, W. (2000) “On Memory-Block Traversal Problems in Model Checking Timed Systems”, BRICS Report Series, 7(3). doi: 10.7146/brics.v7i3.20131.