https://123dok.net/document/q2n0rkxr-oracles-for-testing-software-timeliness-with-uncertainty.html