@misc{indiciae86882740d8dc,
  title = {CoCoSim : Contract-based Compositional Verification of Simulink Models},
  author = {Hamza Bourbouh and Andreas Katis},
  url = {https://ntrs.nasa.gov/citations/20210010591},
  note = {Source identifier: 20210010591}
}