https://intlibrary.ir/download/lectures-on-runtime-verification:-introductory-and-30224/