Visible to the public Mitra Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems.pdf