О. О. Бєляков and А. С. Севастьян, “The approach to automatic generation of test plan for complex systems”, PIC, vol. 1, no. 53, pp. 18–22, May 2016.