Author: FMCAD  2007 (7th 2007 Austin, Tex.)