The CARVER Methodology and SOTERIA