@article{gottliebsen2012applications,
  title = "Applications of real number theorem proving in PVS",
  author = "Gottliebsen, Hanne and Hardy, Ruth and Lightfoot, Olga and Martin, Ursula",
  year = "2012",
  journal = "Formal Aspects of Computing",
  pages = "On--line",
  publisher = "Springer-Verlag",
}