Dependability-oriented design and analysis of control systems at the model level under random hardware faultsKai DingVyprodáno4,3Pohlídat