Verification-Based Multi-backup Firmware Architecture, an Assurance of Trusted Boot Process for the Embedded Systems | IEEE Conference Publication | IEEE Xplore