Quantitative dependability and interdependency models for large-scale cyber-physical systems رسالة دكتوراه