Read System Level Validation: High Level Modeling And Directed Test Generation Techniques