Model-Driven Event Query Generation for Business Process Monitoring · Study