I. Mamuziĉ, D. Lysytsia, and A. Lysytsia, “MODEL OF DATA PREPARATION FOR ALLOCATION OF ALGORITHM FROM BINARY CODE FOR THE SAFETY ANALYSIS OF THE SOFTWARE”, A.I.S., vol. 2, no. 2, pp. 94–100, Aug. 2018.