Codesign of Dependable Systems: A Component-Based Modeling Language