TY  - RPRT
TI  - A Flexible Statechart-to-model-checker Translator
AU  - Feather, M. S.
AU  - Dunphy, J.
AU  - Rouquette, N.
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20210002684
ID  - 20210002684
ER  -