Requirements Traceability and Embedded Systems