@misc{indiciaeba992011da9b,
  title = {Assume-Guarantee Abstraction Refinement Meets Hybrid Systems},
  author = {Bogomolov, Sergiy and Frehse, Goran and Greitschus, Marius and Grosu, Radu and Pasareanu, Corina S. and Podelski, Andreas and Strump, Thomas},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20150021848},
  note = {Source identifier: 20150021848}
}