Email Record: Modeling techniques for high dependability protocols and architecture /