Modelling of a high count rate energy resolving CdTe pixel detector for the performance characterisation of a medical imaging system | IEEE Conference Publication | IEEE Xplore