Text this: Reliability Modeling and Verification of Locking Mechanisms Based on Failure Mechanisms