Verification and online updating of decision making control logic for onboard real-time control systems. - Andrey A. Tyugashev; Dmitrii Zheleznov (KES, 2018)