V. Ivanov, O. Baturin, V. Lyfar, S. Mytrokhin, and L. Lyhina, “Construction of methods for ensuring the required level of safety integrity in the automated systems of control over technological processes”, EEJET, vol. 6, no. 2 (102), pp. 70–78, Dec. 2019.