Email Record: Advanced techniques for embedded systems design and test /