Off-line test selection with test purposes for non-deterministic timed automata (Logical Methods in Computer Science, 2012)