Text this: Development of Safety-Critical Systems