Effectively Handling Primary and Backup Overruns and Underruns in a Real-Time Embedded System That Tolerates Permanent Hardware and Software Failures.