\input zb-basic
\input zb-ioport
\iteman{io-port 70447484}
\itemau{Caussanel, Jean; Giambiasi, Norbert; Bruzzone, Agostino G.}
\itemti{From abstract representation to formal modeling of tactical military operations}
\itemso{SCSC, 1094-1100 (2007).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1357910.1358081}
\end