书目详细信息 : 基于模型的软件验证与测试