Workshop on Architecting Dependable Systems (WADS 2009) | IEEE Conference Publication | IEEE Xplore