Establishment of Formal Verification Methods to Find Vulnerabilities in Industrial and Automotive Control Systems via Cybersecurity Threat Modeling for Embedded Devices - Devaraj, Perumalsamy; Srinivasan, Sathiyandrakumar (2025 International Conference on Future Technologies (ICFT), Future Technologies (ICFT), 2025 International Conference on, 2025)