SymPLe: Complexity-Aware Design for Safety Critical I&C Systems. - Richard Hite; Abhi Rajagopala; Smitha Gautham; Christopher J. Deloglos; Athira V. Jayakumar; Aidan G. Collins; Carl R. Elks; Matt Gibson 003 (DSN (Supplements), 2021)