Verification of compliance to IEC 61439