Bolin, D.; Lindgren, F. Calculating Probabilistic Excursion Sets and Related Quantities Using Excursions. J. Stat. Soft. 2018, 86, 1-20.