Text this: Mathematics of dependable systems :