progViz: Visualizing Patient Journeys Based on Finite State Models | IEEE Conference Publication | IEEE Xplore