Model description in the INSYDE, simulator for evaluating large-scale computer system performance | IEEE Conference Publication | IEEE Xplore