TY  - RPRT
TI  - Automated Analysis of Stateflow Models
AU  - Bourbouh, Hamza
AU  - Garoche, Pierre-Loic
AU  - Garion, Christophe
AU  - Gurfinkel, Arie
AU  - Kahsaia, Temesghen
AU  - Thirioux, Xavier
PY  - 2017
UR  - https://ntrs.nasa.gov/citations/20170010235
ID  - 20170010235
ER  -