Email Record: Specification and design of embedded systems /