@misc{indiciae5a1b02e24fa1,
  title = {Statecharts Via Process Algebra},
  author = {Luttgen, Gerald and vonderBeeck, Michael and Cleaveland, Rance},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/19990116905},
  note = {Source identifier: 19990116905}
}