Simulation-based validation and defect localization for evolving, semi-formal requirements models | IEEE Conference Publication | IEEE Xplore