Dependable Computing by C.A. Maziero