Modeling and Diagnosing Problem-Solving System Behavior | IEEE Journals & Magazine | IEEE Xplore