Analysis of Software-Implemented Fault Tolerance: Case Study on Smart Lock | IEEE Conference Publication | IEEE Xplore