A Case Study of Model-Driven Engineering for Automated Timetabling | IEEE Conference Publication | IEEE Xplore