Applications of phase type survival trees in HIV disease progression modelling | IEEE Conference Publication | IEEE Xplore