https://intlibrary.ir/download/system-verification-proving-the-design-soluti/