Model Checking Syllabi and Student Carreers. - Roberto Sebastiani; Alessandro Tomasi 002; Fausto Giunchiglia (TACAS, 2001)