State chart visualization of the control flow within an ACT-R/PM user model. - Leon Urbas; Ljudmilla Nekrasova; Sandro Leuchter (TAMODIA, 2005)