TY  - RPRT
TI  - Experiences in integrating auto-translated state-chart designs for model checking
AU  - Pingree, P. J.
AU  - Benowitz, E. G.
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20060028991
ID  - 20060028991
ER  -