On Memory-Block Traversal Problems in Model-Checking Timed-Systems