Die formalisierte Terminologie der Verlässlichkeit technischer Systeme. ([2015])