Introducing Executable Product Models for the Service Industry | IEEE Conference Publication | IEEE Xplore