Technology and Assessment of Safety-Critical Systems