Andy Chou Benjamin Chelf Dawson R. Engler Mark Heinrich Using Meta-level Compilation to Check FLASH Protocol Code. 59-70 2000 ASPLOS http://doi.acm.org/10.1145/356989.356995 db/conf/asplos/asplos2000.html#ChouCEH00