Air Campaign Planning Models
Please look at
http://www.aiai.ed.ac.uk/~arpi/ACP-MODELS
.