Integrating services for non-communicable diseases (NCDs) into existing primary care platforms such as HIVprogrammes has been recommended as a way of strengthening health systems, reducing redundancies and leveraging exist-ing systems to rapidly scale-up underdeveloped programmes. Mathematical modelling provides a powerful tool to addressquestions around priorities, optimization and implementation of such programmes. In this study, we examine the case forNCD-HIV integration, use Kenya as a case-study to highlight how modelling has supported wider policy formulation and deci-sion-making in healthcare and to collate stakeholders'recommendations on use of models for NCD-HIV integration decision-making.