TY  - RPRT
TI  - Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems
AU  - Peng Wang
AU  - Kai-Yuan Cai
PY  - 2016
UR  - https://arxiv.org/abs/1606.07585
ID  - 1606.07585
ER  -