Frederic Doucet, Massimiliano Menarini, Ingolf H. Krüger, Rajesh K. Gupta, Jean-Pierre Talpin. A Verification Approach for GALS Integration of Synchronous Components. Electronic Notes in Theoretical Computer Science, 146(2):105-131, 2006. [doi]
Abstract is missing.