Analyzing a PowerPCTM620 Microprocessor Silicon Failure Using Model Checking. - Richard Raimi; James Lear (ITC, 1997)

Silicon Debug of a PowerPC[tm] Microprocessor Using Model Checking. - Richard Raimi; James Lear (Formal Methods Syst. Des., 2002)

Asset pipeline patterns: patterns in interactive real-time visualization workflow. - James Lear; Simon Scarle; Richard McClatchey (EuroPLoP, 2019)