M. Strand, “Formalizing swarm security”, NIKT, no. 3, Jan. 2022.