Trimming a Hazard Logic Tree with a New Model-Order-Reduction Technique. Issue 3 (August 2017)