An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON. - Carsten Rütz; Julien Schmaltz (ICST Workshops, 2011)