@misc{indiciaeadffee75d265,
  title = {Automated Analysis of Stateflow Models},
  author = {Bourbouh, Hamza and Garoche, Pierre-Loic and Garion, Christophe and Gurfinkel, Arie and Kahsaia, Temesghen and Thirioux, Xavier},
  year = {2017},
  url = {https://ntrs.nasa.gov/citations/20170010235},
  note = {Source identifier: 20170010235}
}