Requirements Validation for Hybrid Systems