Chowdhury, O., et al.. Temporal Mode-checking for Runtime Monitoring of Privacy Policies (cmu-cylab-14-005). Figshare, June 2018, doi:10.1184/r1/6468083.v1.