A Simple Approach for Timed System Testing

Publication
Formal Approaches to Testing of Software (FATES01), A Satellite Workshop of CONCUR01