Helge Löding, Jan Peleska: Timed Moore Automata: Test Data Generation and Model Checking. ICST 2010: 449-458