Leveraging Semi-Markov Models to Identify Anomalies of Activities of Daily Living in Smart Homes Processes | Synapse