Design and use of a system-level specification and verification methodology. - M. M. Kamal Hashmi; Alistair C. Bruce (EURO-DAC, 1995)

Maintaining consistency between systemC and RTL system designs. - Alistair C. Bruce; M. M. Kamal Hashmi; Andrew Nightingale; Steve Beavis; Nizar Romdhane; Christopher K. Lennard (DAC, 2006)

Network Calculus Applied to Verification of Memory Access Performance in SoCs. - Tomas Henriksson; Pieter van der Wolf; Axel Jantsch; Alistair C. Bruce (ESTIMedia, 2007)

Flow regulation for on-chip communication. - Zhonghai Lu; Mikael Millberg; Axel Jantsch; Alistair C. Bruce; Pieter van der Wolf; Tomas Henriksson (DATE, 2009)