Preferential Refinements of Abstract State Machines for Service Mediators | IEEE Conference Publication | IEEE Xplore