A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.

Saddek Bensalem Moez Krichen Lotfi Majdoub Riadh Robbana Stavros Tripakis A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. 191-202 2007 ISoLA conf/isola/2007 db/conf/isola/isola2007.html#BensalemKMRT07