Construction and Analysis of Safe, Secure, and Interoperable Smart Devices