Text this: Mutation Testing for Effective Verification of Digital Components of Physical Systems