Time-optimal realtime test case generation using UPPAAL (2003)

by A Hessel, K Larsen, B Nielsen, P Pettersson, A Skou
Venue:In FATES’03