James Ivers Gabriel A. Moreno PACC starter kit: developing software with predictable behavior. 949-950 2008 ICSE Companion http://doi.acm.org/10.1145/1370175.1370202 conf/icse/2008c db/conf/icse/icsec2008.html#IversM08