Applying Model Checking in the Verification of a Clock Masking Unit | IEEE Conference Publication | IEEE Xplore