Black-Box Conformance Testing for Real-Time Systems.

Moez Krichen Stavros Tripakis Black-Box Conformance Testing for Real-Time Systems. 109-126 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=109 2004 conf/spin/2004 SPIN db/conf/spin/spin2004.html#KrichenT04