OpenSCADA: IEC 61131-3 compliant PLC emulator with virtual time support