HIV treatment: With or without explicit modeling of the immune system | IEEE Conference Publication | IEEE Xplore