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/20060028593
ID  - 20060028593
ER  -