Kim Guldstrand Larsen Marius Mikucionis Brian Nielsen Arne Skou Testing real-time embedded software using UPPAAL-TRON: an industrial case study. 299-306 2005 conf/emsoft/2005 EMSOFT http://doi.acm.org/10.1145/1086228.1086283 db/conf/emsoft/emsoft2005.html#LarsenMNS05