A Framework for the Modelling, Analysis and Optimization of Pathways in Healthcare | IEEE Conference Publication | IEEE Xplore