The probabilistic termination tool amber. - Moosbrugger, Marcel; Bartocci, Ezio; Katoen, Joost-Pieter; Kovács, Laura (Formal Methods in System Design, 2022)