...
[Hatton 1995] Section 2.7.2, "Errors of Omission and Addition"
[Viega 2005] Section 5.2.17, "Failure to Account for Default Case in Switch"
[http://www.aeroxp.org/2009/01/lesson-on-infinite-loops] for analysis on the Zune 30 bug
...
MSC60MSC58-JJG. Detect and remove unused values 49. Miscellaneous (MSC)