Stav dette: Mutation Testing for Effective Verification of Digital Components of Physical Systems; Russian Physics Journal; Vol. 58, № 8