Pegasus: Sound continuous invariant generation

@ARTICLE{DBLP:journals/fmsd/SogokonMTCP22,
	pdf = {https://link.springer.com/content/pdf/10.1007/s10703-020-00355-z.pdf},
	ref = {DBLP:conf/fm/SogokonMTCP19},
	refname = {FM'19},

  author    = {Andrew Sogokon and
               Stefan Mitsch and
               Yong Kiam Tan and
               Katherine Cordwell and
               Andr{\'{e}} Platzer},
  title     = {Pegasus: Sound Continuous Invariant Generation},
  journal   = {Form. Methods Syst. Des.},
  longjournal = {Formal Methods in System Design},
  year      = {2022},
  volume    = {58},
  number    = {1},
  pages     = {5-41},
  doi       = {10.1007/s10703-020-00355-z},
  issn      = {0925-9856},
  note      = {Special issue for selected papers from FM'19},
}```