@inproceedings{AK14c, author = {G. Avni and O. Kupferman}, title = {Synthesis from Component Libraries with Costs}, booktitle = concur14, pages = {156--172}, series = lncs, year = {2014}, volume = {8704}, publisher = {Springer} }