An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems | IEEE Journals & Magazine | IEEE Xplore