A test generation framework for quiescent real-time systems, in: (2004)

by L Briones, E Brinksma
Venue:IN FATES 04, Springer-Verlag GmbH,