Peng Wang, Kai-Yuan Cai. Representing Extended Finite State Machines for SDL by A Novel Control Model of Discrete Event Systems. In Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. pages 159-166, IEEE Computer Society, 2006. [doi]
Abstract is missing.