Email Record: Mathematics of dependable systems :