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

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