组合服务建模、测试与验证2013.1李必信, 张鹏程, 著 Web服务组合建模与验证2011.5程永上, 著 矿业组合服务理论与应用2018.6杨鹏, 张金锁, 著 经济合作与发展组织化学品测试准则2013.8《经济合作与发展组织（OECD）化学品测试准则》编译委员会, 编译 服务建模2010.1(芬) 雷伊塞宁, 著 国产仪器验证与综合评价服务纪实2019.9李小林, 刘来福, 高峰, 主编 时间属性的软件建模与验证方法2018.9许海洋, 王萍, 著 组合测试2015.3聂长海, 著 列车运行控制系统规范建模与验证2010.6唐涛, 徐田华, 赵林, 著 系统测试性分析与验证2003.04田仲等, 编著 Web服务组合中组件服务的优化和验证技术研究2016.9陈莉萍, 著 纳税服务习题集及模拟测试卷含解析2018.11纳税服务习题集及模拟测试卷编写组, 编 复杂系统建模与模拟2003.04《复杂系统建模与模拟》编写组, 编 服务认证通用知识与技术2016.4中国认证认可协会, 编 基于模型的软件验证与测试2013.8郑炜, 编著