1. Modeling in Event-B
2. Equipment qualification of FPGA-based platform RadICS to meet US NRC requirements;A.Andrashov;Proceeding of the 11th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies,2019
3. Diversity in FPGA-based platform and platform based I&CS applications: Strategy and implementation.;A.Andrashov;Proceeding of the 11th International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies,2019
4. ANSI/ISA-99.00.01-2007. (2007). Security for Industrial Automation and Control Systems: Terminology, Concepts, and Models.
5. ANSI/ISA-99.00.02-2007. (2007). Establishing an Industrial Automation and Control Systems Security Program.