Simulation-Driven Creation, Validation and Evolution of Behavioral Requirements Models