Automatic testing of reactive systems (1998)

by P Raymond, D Weber, X Nicollin, N Halbwachs
Venue:In 19th IEEE Real-Time Systems Symposium