Andrea Burattin: Streaming Process Discovery and Conformance Checking. Encyclopedia of Big Data Technologies 2019