FERRARI: A Tool for The Validation of System Dependability Properties. - Ghani A. Kanawati; Nasser A. Kanawati; Jacob A. Abraham (FTCS, 1992)

Adding capability checks enhances error detection and isolation in object-based systems. - Nasser A. Kanawati; Ghani A. Kanawati; Jacob A. Abraham (ISSRE, 1993)

FERRARI: A Flexible Software-Based Fault and Error Injection System. - Ghani A. Kanawati; Nasser A. Kanawati; Jacob A. Abraham (IEEE Trans. Computers, 1995)