Package edu.kit.ipd.sdq.eventsim.instrumentation.specification.dialog