Example-based model synthesis2007-04-300 PRE AI DOI:10.1145/1230100.1230119OriginalShareSaveAbstract En