Text this: Code design for dependable systems :