Larsson, Fredrik, Paul Pettersson, and Wang Yi. “On Memory-Block Traversal Problems in Model Checking Timed Systems”. BRICS Report Series 7, no. 3 (January 3, 2000). Accessed March 29, 2024. https://tidsskrift.dk/brics/article/view/20131.