Reliability of Robot's Controller Software. - Eugene Larkin; Tatiana A. Akimenko; Alexey Bogomolov; Vadim Sharov (ICR, 2023)