Karasev, V. and Solozhentsev, E. 2016. Hybrid Logical and Probabilistic Models for Risk Management of Systems. SPIIRAS Proceedings. 5, 48 (Oct. 2016), 125-150. DOI:https://doi.org/10.15622/sp.48.7.