https://123dok.net/document/yd753976-checking-dynamic-consistency-conditional-hyper-temporal-networks-payoff.html