Title: Design of Safety-Critical Systems