Graydon, 2015. Formal Assurance Arguments: A Solution in Search of a Problem?, in: . IEEE.. https://doi.org/10.1109/dsn.2015.28