Edmund K. Burke, Jakub Marecek, Andrew J. Parkes, Hana Rudová: Penalising Patterns in Timetables: Novel Integer Programming Formulations. OR 2007: 409-414