Testing realtime embedded software using uppaal-tron. EMSOFT’05 (2005)

by Kim G Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou