Bagus, B. Development of Formal Models of Computer Aided Formative Assessment to Help Learning The Dynamics of Rotation. TJIK 2017, 5.