An early example of safety assurance case development for a rebreather system per EN 14143, utilizing Goal Structuring Notation (GSN).
