Text this: Foundations of dependable computing.