Micah Lewis, Michael Jones: A dead variable analysis for explicit model checking. PEPM 2006: 48-57