Probabilistic assessment of failure risk of the building envelope thermally insulated from the inside. - Jan Pasek; Petr Kesl (Appl. Math. Comput., 2015)