Security-aware design for cyber-physical systems a platform-based approach - Lin, Chung-Wei; Sangiovanni-Vincentelli, Alberto (Springer, 2017)