Formal description, modeling and simulation of tactical operational intentions and concepts of operation final report - Hofmann, Hans W.; Hofmann, Marko (Univ. der Bundeswehr, Fak. Informatik, 1998)