SWE-134 - Safety-Critical Software Design Requirements