Ivannikov A.D., Pozdneev B., Romanova I.I., Tumkovskiy S.R. Debugging test set generation for digital control system functions. Moscow Workshop on Electronic and Networking Technologies. MWENT 2018 - Proceedings 1. 2018. С. 1-5. DOI:10.1109/MWENT.2018.8337238.