Hui Chen, Chunjie Zhou, Xiongfeng Huang, Yuanqing Qing. Formal specification and verification of reconfigurable protocol stack for networked control system. In Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2010, Chicago, IL, USA, 10-12 April 2010. pages 441-446, IEEE, 2010. [doi]
Abstract is missing.