Martin Hutle André Schiper Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults. 92-101 2007 conf/dsn/2007 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2007.25 db/conf/dsn/dsn2007.html#HutleS07