https://intlibrary.ir/download/runtime-verification:-a-hands-on-approach-in-java-91705-2268/