A Toolset for Modelling and Verification of GALS Systems - Ramesh, S; Sonalkar, S; D'Silva, V; Chandra, N; Vijayalakshmi, B (Springer, 2004)