Email Record: Modeling, verification, and exploration of task-level concurrency of real-time embedded systems /