Synthesis time optimal accepting traces using language projection and pruning | IEEE Conference Publication | IEEE Xplore