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

How standards will enable hardware/software co-design. - Mark Genoe; Christopher K. Lennard; Joachim Kunkel; Brian Bailey; Gjalt G. de Jong; Grant Martin; M. M. Kamal Hashmi; Shay Ben-Chorin; Anssi Haverinen (CODES, 1999)

Application of High Level Interface-Based Design to Telecommunications System Hardware. - Dyson Wilkes; M. M. Kamal Hashmi (DAC, 1999)

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)