@inproceedings{AAK13, author = "S. Almagor and G. Avni and O. Kupferman", title = "Automatic Generation of Quality Specifications", booktitle = cav13, series = lncs, volume = "?", pages = "?", publisher = springer, year = 2013 }