Validating timing requirements for time basic net specifications