ASSM: Toward an automated method for service specification | IEEE Conference Publication | IEEE Xplore