Rigorous development of computer based Integrated Care Pathways for HIV patients