TY  - RPRT
TI  - A Flexible Statechart-to-Model-Checker Translator
AU  - Rouquette, Nicolas
AU  - Dunphy, Julia
AU  - Feather, Martin S.
PY  - 2000
UR  - https://ntrs.nasa.gov/citations/20000048813
ID  - 20000048813
ER  -