Email Record: Dependable computing for critical applications 3 /