Kharchenko, Vyacheslav, Yuriy Ponochovnyi, Artem Boyarchuk, and Eugene Brezhnev. "Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases." Dependability Engineering and Complex Systems 470 (2016): 267-278.