Towards a Methodology for RAMI4.0 Service Design | IEEE Conference Publication | IEEE Xplore