An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. - Joachim Hänsel; Daniela Rose; Paula Herber; Sabine Glesner (ICST, 2011)