Automated Testing: Requirements Propagation via Model Transformation in Embedded Software