Troubleshooting Trucks : Automated Planning and Diagnosis. - Warnquist, Håkan. (Linköping Studies in Science and Technology. Dissertations Series, 2015)