Synthesising industry-standard manufacturing process controllers - de Silva, Lavindra; Felli, Paolo; Chaplin, Jack C.; Logan, Brian; Sanderson, David; Ratchev, Svetan (International Foundation for Autonomous Agents and Multiagent Systems, 2017)