A CSP approach to IT service management | IEEE Conference Publication | IEEE Xplore