RM2PT: Requirements Validation through Automatic Prototyping