Logiko-Veroyatnostnyy Analiz Problem Nadyezhnosti I Bezopasnosti pocketRyska, 2012