Peter Druschel Andreas Haeberlen Petr Kouznetsov Abstracting out Byzantine Behavior. 2006 From Security to Dependability http://drops.dagstuhl.de/opus/volltexte/2007/850 conf/dagstuhl/2006P6371 db/conf/dagstuhl/P6371.html#DruschelHK06