Validation of requirements for hybrid systems

Validation of requirements for hybrid systems