A Deterministic Globally Asynchronous Locally Synchronousy Microprocessor Architecture. - Matthew W. Heath; Ian G. Harris (MTV, 2003)

Synchro-Tokens: Eliminating Nondeterminism to Enable Chip-Level Test of Globally-Asynchronous Locally-Synchronous SoC?s. - Matthew W. Heath; Wayne P. Burleson; Ian G. Harris (DATE, 2004)

Synchro-Tokens: A Deterministic GALS Methodology for Chip-Level Debug and Test. - Matthew W. Heath; Wayne P. Burleson; Ian G. Harris (IEEE Trans. Computers, 2005)