What do memory leaks, deadlocks, and priority inversions have in common? They're all Hall of Famers in the pantheon of nasty firmware bugs. Finding and killing latent bugs in embedded software is a ...