@misc{indiciae67d733de72b0,
  title = {Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling},
  author = {Morris Wright, Karla Vanessa and Son hoang, Thai and Snook, Colin and Butleer, Michael},
  year = {2023},
  doi = {10.1007/978-3-031-47963-2\_12},
  url = {https://www.osti.gov/biblio/2584855},
  note = {Source identifier: 2584855}
}