Applying lessons from safety-critical systems to security-critical software | IEEE Conference Publication | IEEE Xplore