https://dds.las.ac.cn/service/document?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1763013103067&signature=7de44e9a89f6e7373e9d6b681d3efe9e&articleTitle=Engineering+Trustworthy+Software+Systems&articleAuthor=Zhiming+Liu%2C+Zili+Zhang&publicationTitle=Engineering+Trustworthy+Software+Systems&language=&publicationType=1&publishYear=2016&isn=9783319296272&publisher=Springer+International+Publishing