Measurable and Composable Security, Privacy, and Dependability for Cyberphysical Systems (The SHIELD Methodology)