Towards an Industrial Strength Process for Timed Testing. - Ralf Mitsching; Carsten Weise; André Kolbe; Henrik C. Bohnenkamp; Norbert Berzen (ICST Workshops, 2009)