Kabir, Sohag, Papadopoulos, Yiannis, "Computational Intelligence for Safety Assurance of Cooperative Systems of Systems", Computer, 2020