TY  - RPRT
TI  - Symbolic discrete event system specification
AU  - Zeigler, Bernard P.
AU  - Chi, Sungdo
PY  - 1992
UR  - https://ntrs.nasa.gov/citations/19930050993
ID  - 19930050993
ER  -