I had the same question and then found these links, which have pointers to papers:

http://research.microsoft.com/~bycook
http://research.microsoft.com/terminator