B
[BCH+14] Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. ACM Transactions on Computational Logic 15(4):27:1-27:25. ACM Press, August 2014. 
@article{tocl15(4)-BCHK,
  author =              {Boker, Udi and Chatterjee, Krishnendu and Henzinger,
                         Thomas A. and Kupferman, Orna},
  title =               {Temporal Specifications with Accumulative Values},
  publisher =           {ACM Press},
  journal =             {ACM Transactions on Computational Logic},
  volume =              {15},
  number =              {4},
  pages =               {27:1-27:25},
  year =                {2014},
  month =               aug,
  doi =                 {10.1145/2629686},
}
List of authors