Reusable event types for models at runtime to support the examination of runtime phenomena | IEEE Conference Publication | IEEE Xplore