@inproceedings{ABK13, author = "S. Almagor and U. Boker and O. Kupferman", title = "Formalizing and Reasoning about Quality", booktitle = icalp13, series = lncs, volume = ?, pages = ?, publisher = springer, year = 2013 }