David Hardin Matthew Wilding David A. Greve Transforming the Theorem Prover into a Digital Design Tool: From Concept Car to Off-Road Vehicle. 39-44 1998 conf/cav/1998 CAV db/conf/cav/cav98.html#HardinWG98 http://dx.doi.org/10.1007/BFb0028729