@misc{indiciae3ba5189cbfe1,
  title = {A Flexible Statechart-to-model-checker Translator},
  author = {Feather, M. S. and Dunphy, J. and Rouquette, N.},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/20210002684},
  note = {Source identifier: 20210002684}
}