Email Record: Concurrent semantics for structured design methods