Tianzhou Chen Quan Gan Wei Hu Jiangwei Huang Communication Protocol Decomposition and Component-based Protocol Submodule. 226-230 2005 conf/iastedSE/2005 IASTED Conf. on Software Engineering db/conf/iastedSE/se2005.html#ChenGHH05