https://123dok.net/document/y8gpe22z-bucket-elimination-algorithm-for-dynamic-controllability-checking-of-simple-temporal-networks-with-uncertainty.html