Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing