Stephen S. Yau Supratik Mukhopadhyay Ramesh Bharadwaj Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. 197-204 2005 conf/words/2005 WORDS http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.50 db/conf/words/words2005.html#YauMB05