Moez Krichen Stavros Tripakis An Expressive and Implementable Formal Framework for Testing Real-Time Systems. 209-225 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_15 db/conf/pts/testcom2005.html#KrichenT05a