Paul Merrell Example-based model synthesis. 105-112 2007 conf/si3d/2007 SI3D http://doi.acm.org/10.1145/1230100.1230119 db/conf/si3d/si3d2007.html#Merrell07