Email Record: Modeling and analysis of mixed synchronous/asynchronous systems /