Runtime State Verification on Resource-Constrained Platforms. - John Clemens; Raj Pal; Branden Sherrell (MILCOM, 2018)