Safety Argument Pattern Language of Safety-Critical Software | IEEE Conference Publication | IEEE Xplore