"Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases." Dependability Engineering and Complex Systems 470 (2016): 267-278.