Process mining in software systems: Discovering real-life business transactions and process models from distributed systems | IEEE Conference Publication | IEEE Xplore