A survey on the application of process discovery techniques to smart spaces data · Study