Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems | IEEE Journals & Magazine | IEEE Xplore