Title: Fundamentals of Dependable Computing for Software Engineers