In this paper a computational decision making model is presented based on the Somatic Marker Hypothesis. The use of the model is illustrated for the domain of fighter pilot decision making. Hereby, simulation runs have been performed upon this scenario, and the results thereof have been formally verified based upon properties inspired on Damasio’s Hypothesis.