https://intlibrary.ir/download/engineering-trustworthy-software-systems:-4th-inte-42036-4120/