Gennaro Severino Rodrigues, Fernanda Lima Kastensmidt, Alberto Bosio: Approximate Computing for Safety-Critical Applications. LATS 2021: 1-3