A system dynamics model for managing service desk capacity | IEEE Conference Publication | IEEE Xplore