[ISSRE2020] IS3 - Safety critical systems