Joachim Hänsel. Model based test case generation with metaheuristics for networks of timed automata. In Phil McMinn, Mark Harman, editors, 7th International Workshop on Search-Based Software Testing, SBST 2014, Hyderabad, India, June 2, 2014. pages 31-34, ACM, 2014. [doi]
Abstract is missing.