A Toolbox for Analysis and Design of Model Based Diagnosis Systems for Large Scale Models. Issue 1 (July 2017)