Modeling Adversaries in Counterterrorism Decisions Using Prospect Theory