Assessing the Suitability of Software Tools for System-Theoretic Process Analysis of Nuclear Instrumentation and Control Systems. - Akira King; Polina Ovsiannikova; Valeriy Vyatkin (ETFA, 2024)