Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models