Title: System Dependability - Theory and Applications