Hubert Garavel Radu Mateescu SEQ.OPEN: A Tool for Efficient Trace-Based Verification. 151-157 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=151 2004 conf/spin/2004 SPIN db/conf/spin/spin2004.html#GaravelM04