Testing real-time embedded software using UPPAAL-TRON: an industrial case study.

Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou

Browse the full EMSOFT paper archive.