System-Level-Validation-High-Level-Modeling-and-Directed-Test-Generation-Techniques 128,39 EUR*