Khan, Muhammad Taimoor ORCID: 0000-0002-5752-6420 and Shrobe, Howard (2019) Security of cyberphysical systems: Chaining induction and deduction. Computer, 52. pp. 72-75. ISSN 0018-9162 (Print), 1558-0814 (Online) (doi:https://doi.org/10.1109/MC.2019.2913138)