автомат состоянийСпециализированное программное обеспечение для проверки компонентов интегрированных систем безопасности АЭС различных производителей на возможность интеграции 04.04.2015 2015 - №01 Безопасность, надежность и диагностика ЯЭУ Д.Ю. Безуглов М.А. Трофимов