@misc{indiciaef9e2493f8c02,
  title = {Bridging the Gap Between Requirements and Model Analysis : Evaluation on Ten Cyber-Physical Challenge Problems},
  author = {Mavridou, Anastasia and Bourbouh, Hamza and Garoche, Pierre-Loic and Giannakopoulou, Dimitra and Pressburger, Tom and Schumann, Johann},
  year = {2020},
  url = {https://ntrs.nasa.gov/citations/20200002241},
  note = {Source identifier: 20200002241}
}