A study of dark pool trading using an agent-based model | IEEE Conference Publication | IEEE Xplore