Probabilistic state verification for snap assemblies using the relative-change-based hierarchical taxonomy | IEEE Conference Publication | IEEE Xplore