Coarse abstractions make Zeno behaviours difficult to detect (Logical Methods in Computer Science, 2013)