The Formal Model of Artificial Classroom for Classroom Behavior Dynamics | IEEE Conference Publication | IEEE Xplore