Designing for effective deterrence: A Markovian approach to modeling and analyzing terrorist behavior within the aviation security environment. - Leticia J. Pacheco (2004)