[2212.02071] AMORETTO: A Method for Deriving IoT-enriched Event Logs