Safety assessment for Safety-Critical Systems: a Review and Commentary of the Available Techniques.