@misc{indiciae13f830215c68,
  title = {Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems},
  author = {Peng Wang and Kai-Yuan Cai},
  year = {2016},
  url = {https://arxiv.org/abs/1606.07585},
  note = {Source identifier: 1606.07585}
}