TY  - RPRT
TI  - Bridging the Gap Between Requirements and Simulink Model Analysis
AU  - Anastasia Mavridou
AU  - Hamza Bourbouh
AU  - Pierre-Loic Garoche
AU  - Dimitra Giannakopoulou
AU  - Tom Pressburger
AU  - Johann Schumann
UR  - https://ntrs.nasa.gov/citations/20205004070
ID  - 20205004070
ER  -