On metric temporal logic and faulty turing machines - Ouaknine, J; Worrell, J (FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2006)