Papadopoulos, Yiannis, Walker, Martin, Parker, David, Sharvia, Septavera, Bottaci, Leonardo, Kabir, Sohag, Azevedo, Luis, Sorokos, Ioannis, "A synthesis of logic and bio-inspired techniques in the design of dependable systems", Annual reviews in control, 2025