Chatterjee, Novotný, Žikelić, 2016. Stochastic Invariants for Probabilistic Termination.