Modeling and Design of Secure Internet of Things - Charles A. Kamhoua (Wiley, 2020)