FASTEN features DSLs for modeling assurance case arguments (based on the GSN notation), linking assurance arguments with system / safety models, automating consistency checks between safety and system models and expressing confidence in assurance cases.