A Practical and Complete Algorithm for Testing Real-Time Systems.

Rachel Cardell-Oliver Tim Glover A Practical and Complete Algorithm for Testing Real-Time Systems. 251-261 1998 conf/ftrtft/1998 FTRTFT http://dx.doi.org/10.1007/BFb0055352 db/conf/ftrtft/ftrtft1998.html#Cardell-OliverG98