EECI 2020: Safety-Critical Systems