A Hierarchical Approach for Designing Dependable Systems