Verifying Timing Constraints of Real-Time Systems by (1998)

by J Wegener, M Grochtmann
Venue:Means of Evolutionary Testing,” Real-Time Syst.,