TY  - RPRT
TI  - Using Modern Design Tools for Digital Avionics Development
AU  - Hyde, David W.
AU  - Lakin, David R., II
AU  - Asquith, Thomas E.
PY  - 2000
UR  - https://ntrs.nasa.gov/citations/20000044327
ID  - 20000044327
ER  -