@misc{indiciaeef72284ad060,
  title = {SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability},
  author = {Marcello M. Bersani and Luca Cavallaro and Achille Frigeri and Matteo Pradella and Matteo Rossi},
  year = {2010},
  url = {https://arxiv.org/abs/1004.2873},
  note = {Source identifier: 1004.2873}
}