W. Danilczuk, “Computer aided quantitative methods in machine safety”, atest, vol. 19, no. 1-2, pp. 53–57, Feb. 2018.