Email Record: Dependable computing for critical applications 4