Title: Handbook of Dependability Engineering