Improving the Process of Model Checking through State Space Reductions. - Edward Nanakorn Turner (2007)