RFI: Levels of Resilience through Formal Methods | SAM.gov Opportunity | G2X