Search Based Testing of Embedded Systems Implemented in IEC 61131-3: An Industrial Case Study | IEEE Conference Publication | IEEE Xplore