Troubleshooting with an inaccurate mental model | IEEE Conference Publication | IEEE Xplore