FSM model and analysis for reconfigurable protocol stack in networked control system. - Hui Chen 005; Chunjie Zhou; Jie Ma; Yuanqing Qing (ICCA, 2010)

Formal specification and verification of reconfigurable protocol stack for networked control system. - Hui Chen 005; Chunjie Zhou; Xiongfeng Huang; Yuanqing Qing (ICNSC, 2010)