A Taxonomy for Combining Activity Recognition and Process Discovery in Industrial Environments · Study