From Requirement Specification to OPC UA Information Model Design: A Product Assembly Line Monitoring Case Study | IEEE Conference Publication | IEEE Xplore