Reusable event types for models at runtime to support the examination of runtime phenomena