Modern probabilistic verification - Křetínský, Jan, 1984- (2018)