Using Formal Methods to Design a Class Scheduling System | IEEE Conference Publication | IEEE Xplore