https://nymakafumewux.thuoctrigiatruyenbaphuong.com/a-unified-approach-for-timing-verification-and-delay-fault-testing-book-14912ds.php