Generating, benchmarking and simulating production schedules: From formalisation to real problems | IEEE Conference Publication | IEEE Xplore