Proceedings of the 2005 workshop on Architecting dependable systems
ACM Digital Library