@misc{indiciae80f2ecf6cd03,
  title = {A Mixed Real and Floating-Point Solver},
  author = {Salvia, Rocco and Titolo, Laura and Feliu, Marco A. and Moscato, Mariano M. and Munoz, Cesar A. and Rakamaric, Zvonimir},
  year = {2019},
  url = {https://ntrs.nasa.gov/citations/20200002683},
  note = {Source identifier: 20200002683}
}