A Modeling Framework for Troubleshooting Automotive Systems. Issue 3 (15th March 2016)