GSN - The Goal Structuring Notation

Goal Structuring Notation (GSN)  is becoming increasing popular; practitioners use it in the railway, air traffic management and nuclear industries, amongst others.  Originally developed to present safety assurance arguments, GSN need not be restricted to safety assurances only; in principle, you can use it to present (and test) any argument.  Anyone wishing to support, or refute, a claim can use ...