Correction to 'The case for electric design of real-time software' | IEEE Journals & Magazine | IEEE Xplore