Architecting and Validating Dependable Systems: Experiences and Visions