Functional design verification for the PowerPC 601 microprocessor. - Scott Glenn; Gavin Meil; Ed Rodriguez; Jeff Brooks (VTS, 1994)

Slocum Gliders: Robust and ready. - Oscar Schofield; Josh Kohut; David Aragon; Liz Creed; Josh Graver; Chip Haldeman; John Kerfoot; Hugh Roarty; Clayton Jones; Doug Webb; Scott Glenn (J. Field Robotics, 2007)