@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
}