Real-time systems can be difficult to debug, as experienced programmers know only too well. Among the most troublesome bugs are those that are intermittent, often discovered in the field and reported ...