TY  - RPRT
TI  - Model-based software design
AU  - Iscoe, Neil
AU  - Liu, Zheng-Yang
AU  - Feng, Guohui
AU  - Yenne, Britt
AU  - Vansickle, Larry
AU  - Ballantyne, Michael
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930008325
ID  - 19930008325
ER  -