Kharchenko, Vyacheslav, Yuriy Ponochovnyi, and Artem Boyarchuk. "Availability Assessment of Information and Control Systems with Online Software Update and Verification." Information and Communication Technologies in Education, Research, And Industrial Applications 469 (2014): 300-324.