Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey. - Perez-Cerrolaza, Jon; Abella, Jaume; Borg, Markus; Donzella, Carlo; Cerquides, Jesús; Cazorla, Francisco J.; Englund, Cristofer; Tauber, Markus; Nikolakopoulos, George; Flores, Jose Luis (ACM Computing Surveys, 2024)