Trusted Virtualization-Based Programmable Logic Controller Resilience Using a Backfit Approach. - James Cervini; Daniel Muller; Alexander Beall; Joseph Maurio; Aviel Rubin; Lanier A. Watkins (Critical Infrastructure Protection, 2022)