1. Using hybrid modeling for testing intelligent software for lunar-Mars closed life support;Malin;JOM-e,1999
2. Analysis of the Relationship Between EDA Expenditures and Competitive Positioning of IC Vendors for 2003;International Business Strategies, Inc.,20003
3. NEC says parallelizing processor cuts time, cost;EETimes,2005
4. DVCon 2005 presentation: Verification discontinuities in the nanometer age;Rhines,2005