Peter Leven Tilman Mehler Stefan Edelkamp Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM. 39-56 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2989&spage=39 2004 conf/spin/2004 SPIN db/conf/spin/spin2004.html#LevenME04