Design and assurance of safety-critical systems with artificial intelligence in FPGAs: the safety ArtISt method and a case study of an FPGA-Based autonomous vehicle braking control system - Silva Neto, Antonio Vieira da; Silva, Henrique L; Camargo Júnior, João Batista; Almeida Junior, Jorge Rady de; Cugnasca, Paulo Sérgio (Electronics, 2023)