Petr Jarusek, Radek Pelánek: Modeling and Predicting Students Problem Solving Times. SOFSEM 2012: 637-648