@misc{indiciaed1d5d44853fe,
  title = {Symbolic discrete event system specification},
  author = {Zeigler, Bernard P. and Chi, Sungdo},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19930050993},
  note = {Source identifier: 19930050993}
}