Methodological Support for Service-Oriented Design with rCOS | IEEE Conference Publication | IEEE Xplore