Email Record: Modular composition of synchronous programs :