An automated cognitive walkthrough. - John Rieman; Susan E. Davies; D. Charles Hair; Mary Esemplare; Peter G. Polson; Clayton H. Lewis (CHI, 1991)