Formalizing Distributed Situation Awareness in Multi-Agent Networks | IEEE Journals & Magazine | IEEE Xplore