@misc{indiciae1352c8a19ac1,
  title = {Bridging the Gap Between Requirements and Simulink Model Analysis},
  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/20200002240},
  note = {Source identifier: 20200002240}
}