Hardening of Smart Electronic Lock Software against Random and Deliberate Faults | IEEE Conference Publication | IEEE Xplore