Ralph D. Jeffords Ramesh Bharadwaj Extended abstract: formal verification of architectural patterns in support of dependable distributed systems. 243-244 2005 conf/memocode/2005 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2005.1487924 db/conf/memocode/memocode2005.html#JeffordsB05