@article{Lustig_2012,
    doi = {10.1007/s10009-012-0236-z},
    url = {https://doi.org/10.1007%2Fs10009-012-0236-z},
    year = {2012},
    month = {jun},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {15},
    number = {5-6},
    pages = {603--618},
    author = {Yoad Lustig and Moshe Y. Vardi},
    title = {Synthesis from component libraries},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Lustig_2012, doi = {10.1007/s10009-012-0236-z}, url = {https://doi.org/10.1007%2Fs10009-012-0236-z}, year = {2012}, month = {jun}, publisher = {Springer Science and Business Media {LLC}}, volume = {15}, number = {5-6}, pages = {603--618}, author = {Yoad Lustig and Moshe Y. Vardi}, title = {Synthesis from component libraries}, journal = {International Journal on Software Tools for Technology Transfer} }