Discovery of patient pathways from a national hospital database using process mining and integer linear programming | IEEE Conference Publication | IEEE Xplore