Simon Ware, Rong Su: Synthesis time optimal accepting traces using language projection and pruning. CASE 2015: 1363-1368