A decomposition algorithm for simultaneous scheduling and control of CSP systems. Issue 7 (8th February 2018)