A Verification Approach for GALS Integration of Synchronous Components