Specification, analysis and implementation of architectural patterns for dependable software systems | IEEE Conference Publication | IEEE Xplore