Jean Caussanel Norbert Giambiasi Agostino G. Bruzzone From abstract representation to formal modeling of tactical military operations. 1094-1100 2007 SCSC http://doi.acm.org/10.1145/1357910.1358081 conf/scsc/2007 db/conf/scsc/scsc2007.html#CaussanelGB07