An IEC-61131-based rule system for integrated automation engineering: Concept and case study | IEEE Conference Publication | IEEE Xplore