Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (Springer Berlin Heidelberg, 2020)