@incollection{FengLLM+14,
  author = {Thomas Huining Feng and Edward A. Lee and Xiaojun Liu and Christian Motika and Reinhard von Hanxleden and Haiyang Zheng},
  title = {Finite State Machines},
  booktitle = {System Design, Modeling, and Simulation using {Ptolemy II}},
  editor = {Claudius Ptolemaeus},
  publisher = {Ptolemy.org},
  year = {2014},
}