Handbook of Dependability Engineering