Joachim Hänsel: Model based test case generation with metaheuristics for networks of timed automata. SBST 2014: 31-34