Alex Aiken Suhabe Bugrara Isil Dillig Thomas Dillig Brian Hackett Peter Hawkins An overview of the saturn project. 43-48 2007 conf/paste/2007 PASTE http://doi.acm.org/10.1145/1251535.1251543 db/conf/paste/paste2007.html#AikenBDDHH07