Modeling and Verification of Globally Asynchronous and Locally Synchronous Ring Architectures.pdf