Code and design safety of probabilistic systems - Novotný, Petr, 1986- (2022)