Discovery of Personal Processes from Labeled Sensor Data - An Application of Process Mining to Personalized Health Care