Enabling Run-Time System Verification through Built-In Testing | IEEE Conference Publication | IEEE Xplore