@inproceedings{ABK14,
    author      =   "S. Almagor and U. Boker and O. Kupferman",
    title       =   "Discounting in {LTL}", 
    booktitle   =   tacas14,
    series      =   lncs,
     publisher   =   springer,
    year        =   2014
}