@misc{indiciae6cedbb6d5351,
  title = {Learning Extended Finite State Machines},
  author = {Cassel, Sofia and Howar, Falk and Jonsson, Bengt and Steffen, Bernhard},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20150004089},
  note = {Source identifier: 20150004089}
}