Formal description, modeling and simulation of tactical operational intentions and concepts of operation final report - Hofmann, Hans W.; Hofmann, Marko (Bericht / Institut für Angewandte Systemforschung und Operations Research ( IASFOR ), 1998)