For citations:

Gorelits N.K., Gukova A.S., Peskov E.V. Criteria for software to safety-critical complex certifiable systems development. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(4):63-78. https://doi.org/10.15514/ISPRAS-2018-30(4)-4