https://intlibrary.ir/download/verification-of-digital-and-hybrid-systems-46750/