Peng Wang Kai-Yuan Cai Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. 159-166 2006 conf/qsic/2006 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.53 db/conf/qsic/qsic2006.html#WangC06