Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company