https://bibis.ir/runtime-verification-a-hands-on-approach-in-java/