1. 2019. Cyberattack Hits Indian Nuclear Plant.https://www.armscontrol.org/act/2019-12/news/cyberattack-hits-indian-nuclear-plant 2019. Cyberattack Hits Indian Nuclear Plant.https://www.armscontrol.org/act/2019-12/news/cyberattack-hits-indian-nuclear-plant
2. 2019. Toyota to Close Japan Plants After Suspected Cyberattack.https://threatpost.com/toyota-to-close-japan-plants-after-suspected-cyberattack/178686/ 2019. Toyota to Close Japan Plants After Suspected Cyberattack.https://threatpost.com/toyota-to-close-japan-plants-after-suspected-cyberattack/178686/
3. 2021. Ransomware Disrupts Meat Plants in Latest Attack on Critical U.S. Business.https://www.nytimes.com/2021/06/01/business/meat-plant-cyberattack-jbs.html?smid=url-share 2021. Ransomware Disrupts Meat Plants in Latest Attack on Critical U.S. Business.https://www.nytimes.com/2021/06/01/business/meat-plant-cyberattack-jbs.html?smid=url-share
4. Control Behavior Integrity for Distributed Cyber-Physical Systems
5. A really temporal logic