@inproceedings{KV10,
        author      =   "O. Kupferman and M.Y. Vardi",
        title       =   "Synthesis of trigger properties",
        booktitle   =   lpar10,
        series      =   lncs,
        volume      =   6355,
        pages       =   "312--331",
        publisher   =   springer,
        year        =   "2010"
}