High Assurance Software for Financial Regulation and Business Platforms. - Stephen Goldbaum; Attila Mihály; Tosha Ellison; Earl T. Barr; Mark Marron (VMCAI, 2022)