Lecture 37: [optional] Dependability

Readings: P&H 5.2, 5.5, 5.11