Embedded computer software loader/verifier implementation using a hardware and software architecture based upon best practices derived from multiple spiral developments and the joint technical architecture | IEEE Conference Publication | IEEE Xplore