https://dds.las.ac.cn/service/book?appId=a1vacbnPuv9qJRzJvdNXfsesj9JbIa6e&appKey=sPBA4vANLzjnW1k5eufEcc4k7dxfNraW&ts=1730417985678&signature=ba0d20edfaee05edd051e961e23bf776&name=Tools+and+algorithms+for+the+construction+and+analysis+of+systems+%3A+20th+International+Conference%2C+T&author=TACAS+2014&publishYear=2014&isn=9783642548611&publisher=Heidelberg+%3A+Springer%2C+%5B2014%5D.&destLibCode=311001&destLibName=中国科学院文献情报中心&agentLibCode=311001&agentLibName=中国科学院文献情报中心