Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance