ServML - A Domain-Specific Modeling Language as an Extension of SysML to Model Smart Service Systems | IEEE Conference Publication | IEEE Xplore