Behavioral model synthesis of PLC programs from execution traces | IEEE Conference Publication | IEEE Xplore