Title: Technology and Assessment of Safety-Critical Systems