Safety-driven System Development: Dependability Analysis and Verification by Dr Septavera Sharvia