Formal description, modeling and simulation of tactical operational intentions and concepts of operation final report - Hofmann, Hans W.; Hofmann, Marko (Deutschland / Bundeswehr / Universität <München> / Fakultät für Informatik: [Bericht / S], 1998)