Developing Safety-Critical Requirements