Hui Chen Chunjie Zhou Xiongfeng Huang Yuanqing Qing Formal specification and verification of reconfigurable protocol stack for networked control system. 441-446 2010 ICNSC http://dx.doi.org/10.1109/ICNSC.2010.5461620 conf/icnsc/2010 db/conf/icnsc/icnsc2010.html#ChenZHQ10