@inproceedings{BCHK11,
        author      =   "U. Boker and K. Chatterjee and T.A. Henzinger and O. Kupferman",
        title       =   {Temporal Specifications with Accumulative Values},
        booktitle =     lics11,
        pages    =  "43--52",
        year =      2011
}