Designing PHyTeR: A System to Teach Troubleshooting Skill. ICCE 2016.